changeset 41950 | 134131d519c0 |
parent 41609 | f471a2fb9a95 |
child 41951 | 117eb7aeddf0 |
--- a/etc/settings Sun Mar 13 16:52:59 2011 +0100 +++ b/etc/settings Sun Mar 13 17:28:14 2011 +0100 @@ -238,9 +238,6 @@ # 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