coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Where to put csdp executable so that psatz finds it?

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Where to put csdp executable so that psatz finds it?
Date: Sat, 2 Jun 2018 19:04:12 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga11.intel.com
Ironport-phdr: 9a23:P1z3hhIhloggjFYYwNmcpTZWNBhigK39O0sv0rFitYgeKfTxwZ3uMQTl6Ol3ixeRBMOHs68C07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwVFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhicZOTAk7GHZhM9+jKNHrx2uvBFw2ZLYbYWPOfZiYq/RY9UXTndBUMZLUCxBB5uxY4USAeoGI+lYoJX9p0EJrRumHQWnGeThyj5UiX/2x6I1zeAhHQ/b1wEnGtIOsWjbrNXvO6gMVeC51rLIzTLdYPNZxTf98o/Icgg6rPGNW7JwbdTeyU01GwzZiVWQrJXoMjWI3eoDtGib6vBvVeOpi2M/qgFxpCSvydkoioXTm40a1FbJ/jh6zoYtPdC0VUp2bcC+HJZQtyyWLYt7Tt04T2xstis20qAKtJ+1cSQQxpkqyQTTZ+KJfoWM+B7vSeWcLSpgiH54eb+ygwy+/Vagx+DzTMW4zkxGojdKn9TNsH0Gygbd5dKdSvRn+0eswTaP2B7X6uFDOU00kKXbJIQ8zrItjJYTsELDHjPol0XylqOZakIk+u2w5+TmZLXpuIOcOpdphgz6LKgigMyyDOQiPgUOQWSX4+Cx2bP78U38WrpKj/k2kqfDsJDdIMQWvqu5Aw5J3YYj8RmwETOm3M4DnXkAMl1Fdw6Hj5LuO1HWO/34DPG/g0iynzdv3fzJIrrhApDVInjZjLjhZap961JbyAcr0d9f4ItUBqgdL/L3R0/+r8fVDgQ5Mgyx2+boEs9x1oIYWWKVA6+WKrnesVGS5rFnH+7ZLoQSoXP2L+Uvz//ol34w31EHN+H91pwOLXu8A/5OIkODYHOqjM1XQkkQuQ9rBtfthVKeSzlLIz6XXqk87zw/QsryCIbIRomghPqa2yq0AodRfkhHDEyBFTHjcIDSCKREUz6bPsI0ym9MbrOmUYJ0jUj/5j+/8KJuK6/vwgNdsJvi0NZv4OiKzEMz8yB5C4KW1GTfFjgozFNNfCc/2eVEmWI40k2KiPEqgvpEGNgV7PRMAF9jaMzsitdiAtW3YTrvO9eETFH/HYejDjhoF5QwxcMDZwB2HNDw1h0=

Dear Coq Users / Team

I wanted to give psatz a try, which requires the external csdp solver. The binary can be downloaded and I put it somewhere such that it is in the path, but psatz doesn’t find it. I wonder where to put csdp (on Windows), so that it is found by psatz.

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/02/2018
- Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, Gaëtan Gilbert, 06/02/2018
  - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/03/2018
    - Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, Jason Gross, 06/04/2018
      - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/04/2018
- Re: [Coq-Club] Where to put csdp executable so that psatz finds it?, mukesh tiwari, 06/05/2018
  - RE: [Coq-Club] Where to put csdp executable so that psatz finds it?, Soegtrop, Michael, 06/05/2018