equal
deleted
inserted
replaced
220 |
220 |
221 JEDIT_JAVA_OPTIONS="" |
221 JEDIT_JAVA_OPTIONS="" |
222 #JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx512m" |
222 #JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx512m" |
223 JEDIT_OPTIONS="-reuseview -noserver -nobackground" |
223 JEDIT_OPTIONS="-reuseview -noserver -nobackground" |
224 |
224 |
225 |
|
226 ### |
225 ### |
227 ### External reasoning tools |
226 ### External reasoning tools |
228 ### |
227 ### |
229 |
228 |
230 ## Set HOME only for tools you have installed! |
229 ## Set HOME only for tools you have installed! |
271 #BERKMIN_EXE=BerkMin561-linux |
270 #BERKMIN_EXE=BerkMin561-linux |
272 #BERKMIN_EXE=BerkMin561-solaris |
271 #BERKMIN_EXE=BerkMin561-solaris |
273 |
272 |
274 # Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
273 # Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
275 #JERUSAT_HOME=/usr/local/bin |
274 #JERUSAT_HOME=/usr/local/bin |
|
275 |
|
276 # CSDP (SDP Solver, cf. Isabelle/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML) |
|
277 #CSDP_EXE=csdp |
276 |
278 |
277 # For configuring HOL/Matrix/cplex |
279 # For configuring HOL/Matrix/cplex |
278 # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver. |
280 # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver. |
279 # First option: use the commercial cplex solver |
281 # First option: use the commercial cplex solver |
280 #LP_SOLVER=CPLEX |
282 #LP_SOLVER=CPLEX |