etc/settings
changeset 17522 8d25bb07d8ed
parent 17383 3eb21fb8c2ec
child 17574 aa9d8483cabc
equal deleted inserted replaced
17521:0f1c48de39f5 17522:8d25bb07d8ed
   179 #MUCKE_HOME=/usr/local/bin
   179 #MUCKE_HOME=/usr/local/bin
   180 
   180 
   181 # Einhoven model checker
   181 # Einhoven model checker
   182 #EINDHOVEN_HOME=/usr/local/bin
   182 #EINDHOVEN_HOME=/usr/local/bin
   183 
   183 
   184 # zChaff (SAT Solver)
   184 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
   185 #ZCHAFF_HOME=/usr/local/bin
   185 #ZCHAFF_HOME=/usr/local/bin
   186 #ZCHAFF_VERSION=2004.5.13
   186 #ZCHAFF_VERSION=2004.5.13
   187 #ZCHAFF_VERSION=2004.11.15
   187 #ZCHAFF_VERSION=2004.11.15
   188 
   188 
   189 # BerkMin561 (SAT Solver)
   189 # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
   190 #BERKMIN_HOME=/usr/local/bin
   190 #BERKMIN_HOME=/usr/local/bin
   191 #BERKMIN_EXE=BerkMin561-linux
   191 #BERKMIN_EXE=BerkMin561-linux
   192 #BERKMIN_EXE=BerkMin561-solaris
   192 #BERKMIN_EXE=BerkMin561-solaris
   193 
   193 
   194 # Jerusat 1.3 (SAT Solver)
   194 # Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
   195 #JERUSAT_HOME=/usr/local/bin
   195 #JERUSAT_HOME=/usr/local/bin
   196 
   196 
   197 # For configuring HOL/Matrix/cplex
   197 # For configuring HOL/Matrix/cplex
   198 # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
   198 # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
   199 # First option: use the commercial cplex solver
   199 # First option: use the commercial cplex solver