equal
deleted
inserted
replaced
1 # -*- shell-script -*- :mode=shellscript: |
|
2 |
|
3 ISABELLE_SUM_OF_SQUARES="$COMPONENT" |
|
4 ISABELLE_NEOS_SERVER="http://neos-server.org:3332" |
|
5 |
|
6 # local SDP Solver, cf. https://projects.coin-or.org/Csdp |
|
7 #ISABELLE_CSDP="/usr/local/bin/csdp" |
|
8 |
|