equal
deleted
inserted
replaced
266 # MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
266 # MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
267 #MINISAT_HOME=/usr/local/bin |
267 #MINISAT_HOME=/usr/local/bin |
268 |
268 |
269 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
269 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
270 #ZCHAFF_HOME=/usr/local/bin |
270 #ZCHAFF_HOME=/usr/local/bin |
271 #ZCHAFF_VERSION=2004.5.13 |
|
272 #ZCHAFF_VERSION=2004.11.15 |
|
273 |
271 |
274 # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
272 # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
275 #BERKMIN_HOME=/usr/local/bin |
273 #BERKMIN_HOME=/usr/local/bin |
276 #BERKMIN_EXE=BerkMin561-linux |
274 #BERKMIN_EXE=BerkMin561-linux |
277 #BERKMIN_EXE=BerkMin561-solaris |
275 #BERKMIN_EXE=BerkMin561-solaris |