equal
deleted
inserted
replaced
58 #ML_SYSTEM=mosml |
58 #ML_SYSTEM=mosml |
59 #ML_HOME="/usr/local/mosml/bin" |
59 #ML_HOME="/usr/local/mosml/bin" |
60 #ML_OPTIONS="" |
60 #ML_OPTIONS="" |
61 #ML_PLATFORM="" |
61 #ML_PLATFORM="" |
62 |
62 |
63 # Alice 1.4 (experimental!) |
|
64 #ML_SYSTEM=alice |
|
65 #ML_HOME="/usr/local/alice/bin" |
|
66 #ML_OPTIONS="" |
|
67 #ML_PLATFORM="" |
|
68 |
|
69 |
63 |
70 ### |
64 ### |
71 ### JVM components (Scala or Java) |
65 ### JVM components (Scala or Java) |
72 ### |
66 ### |
73 |
67 |
266 # MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
260 # MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
267 #MINISAT_HOME=/usr/local/bin |
261 #MINISAT_HOME=/usr/local/bin |
268 |
262 |
269 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
263 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
270 #ZCHAFF_HOME=/usr/local/bin |
264 #ZCHAFF_HOME=/usr/local/bin |
|
265 #ZCHAFF_VERSION=2004.5.13 |
|
266 #ZCHAFF_VERSION=2004.11.15 |
271 |
267 |
272 # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
268 # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML) |
273 #BERKMIN_HOME=/usr/local/bin |
269 #BERKMIN_HOME=/usr/local/bin |
274 #BERKMIN_EXE=BerkMin561-linux |
270 #BERKMIN_EXE=BerkMin561-linux |
275 #BERKMIN_EXE=BerkMin561-solaris |
271 #BERKMIN_EXE=BerkMin561-solaris |