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
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.
Last updated: Jun 03 2023 at 05:01 UTC