Wed, 29 Jul 2009 12:12:01 +0200 | nipkow | sos documentation | changeset | files |
Wed, 29 Jul 2009 09:06:49 +0200 | nipkow | Added remote-SOS changes by Philipp Meyer | changeset | files |
Fri, 24 Jul 2009 13:56:02 +0200 | Philipp Meyer | Functionality for sum of squares to call a remote csdp prover | changeset | files |