author | Philipp Meyer |
Fri, 24 Jul 2009 13:56:02 +0200 | |
changeset 32268 | d50f0cb67578 |
permissions | -rw-r--r-- |
32268
d50f0cb67578
Functionality for sum of squares to call a remote csdp prover
Philipp Meyer
parents:
diff
changeset
|
1 |
class Variables: |
d50f0cb67578
Functionality for sum of squares to call a remote csdp prover
Philipp Meyer
parents:
diff
changeset
|
2 |
NEOS_HOST="neos.mcs.anl.gov" |
d50f0cb67578
Functionality for sum of squares to call a remote csdp prover
Philipp Meyer
parents:
diff
changeset
|
3 |
NEOS_PORT=3332 |