pointers to src/HOL/Tools/sat_solver.ML added in comments
authorwebertj
Tue Sep 20 16:19:51 2005 +0200 (2005-09-20)
changeset 175228d25bb07d8ed
parent 17521 0f1c48de39f5
child 17523 73571cefff44
pointers to src/HOL/Tools/sat_solver.ML added in comments
etc/settings
     1.1 --- a/etc/settings	Tue Sep 20 16:17:34 2005 +0200
     1.2 +++ b/etc/settings	Tue Sep 20 16:19:51 2005 +0200
     1.3 @@ -181,17 +181,17 @@
     1.4  # Einhoven model checker
     1.5  #EINDHOVEN_HOME=/usr/local/bin
     1.6  
     1.7 -# zChaff (SAT Solver)
     1.8 +# zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
     1.9  #ZCHAFF_HOME=/usr/local/bin
    1.10  #ZCHAFF_VERSION=2004.5.13
    1.11  #ZCHAFF_VERSION=2004.11.15
    1.12  
    1.13 -# BerkMin561 (SAT Solver)
    1.14 +# BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.15  #BERKMIN_HOME=/usr/local/bin
    1.16  #BERKMIN_EXE=BerkMin561-linux
    1.17  #BERKMIN_EXE=BerkMin561-solaris
    1.18  
    1.19 -# Jerusat 1.3 (SAT Solver)
    1.20 +# Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.21  #JERUSAT_HOME=/usr/local/bin
    1.22  
    1.23  # For configuring HOL/Matrix/cplex