--- a/etc/settings Wed Aug 05 17:10:10 2009 +0200
+++ b/etc/settings Thu Aug 06 19:51:59 2009 +0200
@@ -222,7 +222,6 @@
#JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx512m"
JEDIT_OPTIONS="-reuseview -noserver -nobackground"
-
###
### External reasoning tools
###
@@ -274,6 +273,9 @@
# Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
#JERUSAT_HOME=/usr/local/bin
+# CSDP (SDP Solver, cf. Isabelle/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML)
+#CSDP_EXE=csdp
+
# For configuring HOL/Matrix/cplex
# LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
# First option: use the commercial cplex solver