changeset 20033 | 2b8dbb637792 |
parent 19312 | bb3cbf03a021 |
child 20764 | 4aa5c89b933e |
--- a/etc/settings Thu Jul 06 23:36:40 2006 +0200 +++ b/etc/settings Fri Jul 07 02:12:52 2006 +0200 @@ -197,6 +197,9 @@ # Einhoven model checker #EINDHOVEN_HOME=/usr/local/bin +# MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) +#MINISAT_HOME=/usr/local/bin + # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) #ZCHAFF_HOME=/usr/local/bin #ZCHAFF_VERSION=2004.5.13