equal
deleted
inserted
replaced
195 #MUCKE_HOME=/usr/local/bin |
195 #MUCKE_HOME=/usr/local/bin |
196 |
196 |
197 # Einhoven model checker |
197 # Einhoven model checker |
198 #EINDHOVEN_HOME=/usr/local/bin |
198 #EINDHOVEN_HOME=/usr/local/bin |
199 |
199 |
|
200 # MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
|
201 #MINISAT_HOME=/usr/local/bin |
|
202 |
200 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
203 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
201 #ZCHAFF_HOME=/usr/local/bin |
204 #ZCHAFF_HOME=/usr/local/bin |
202 #ZCHAFF_VERSION=2004.5.13 |
205 #ZCHAFF_VERSION=2004.5.13 |
203 #ZCHAFF_VERSION=2004.11.15 |
206 #ZCHAFF_VERSION=2004.11.15 |
204 |
207 |