| Mon, 22 Sep 2014 17:07:18 +0200 | wenzelm | added csdp-6.x for proof method (sos csdp); | changeset | files |
| Mon, 22 Sep 2014 16:28:24 +0200 | wenzelm | examples for local CSDP executable; | changeset | files |
| Mon, 22 Sep 2014 16:15:29 +0200 | wenzelm | clarified SOS tool setup vs. examples; | changeset | files |