entries for ZChaff and BerkMin added/modified
authorwebertj
Tue Jun 15 00:06:40 2004 +0200 (2004-06-15)
changeset 1494278ddcbebace1
parent 14941 1edb674e0c33
child 14943 ffdb22cf6f67
entries for ZChaff and BerkMin added/modified
etc/settings
     1.1 --- a/etc/settings	Mon Jun 14 16:46:48 2004 +0200
     1.2 +++ b/etc/settings	Tue Jun 15 00:06:40 2004 +0200
     1.3 @@ -220,5 +220,10 @@
     1.4  # Einhoven model checker
     1.5  #EINDHOVEN_HOME=/usr/local/bin
     1.6  
     1.7 -# ZChaff SAT solver
     1.8 +# ZChaff, Version 2003.12.04 (SAT Solver)
     1.9  #ZCHAFF_HOME=/usr/local/bin
    1.10 +
    1.11 +# BerkMin561 (SAT Solver)
    1.12 +#BERKMIN_HOME=/usr/local/bin
    1.13 +#BERKMIN_EXE=BerkMin561-linux
    1.14 +#BERKMIN_EXE=BerkMin561-solaris