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