Stream: Coq Platform devs & users

Topic: csdp in the platform?


view this post on Zulip Karl Palmskog (Oct 24 2020 at 18:57):

I just noticed that the psatz tactic (available by default in Coq) needs the external csdp tool. Is this tool something that should be distributed in the platform perhaps? The Ubuntu package name was coinor-csdp, which was far from obvious to me

view this post on Zulip Michael Soegtrop (Oct 24 2020 at 21:22):

Coinor is a fairly complicated piece of software. I won't take a binary - I would insists on compilin git from sources. I can give it a try. Please create an issue.

view this post on Zulip Karl Palmskog (Oct 24 2020 at 21:39):

Done: https://github.com/coq/platform/issues/39


Last updated: Jan 30 2023 at 10:03 UTC