Karl Palmskog (Oct 24 2020 at 18:57): 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
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.
Karl Palmskog (Oct 24 2020 at 21:39):Done: https://github.com/coq/platform/issues/39
Last updated: Jun 03 2023 at 05:01 UTC