added ZCHAFF_VERSION
authorwebertj
Thu Nov 25 14:38:37 2004 +0100 (2004-11-25 ago)
changeset 153313e85549f25f5
parent 15330 630981482718
child 15332 0dc05858a862
added ZCHAFF_VERSION
etc/settings
     1.1 --- a/etc/settings	Thu Nov 25 12:39:12 2004 +0100
     1.2 +++ b/etc/settings	Thu Nov 25 14:38:37 2004 +0100
     1.3 @@ -224,8 +224,10 @@
     1.4  # Einhoven model checker
     1.5  #EINDHOVEN_HOME=/usr/local/bin
     1.6  
     1.7 -# ZChaff, Version 2004.05.13 (SAT Solver)
     1.8 +# zChaff (SAT Solver)
     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  #BERKMIN_HOME=/usr/local/bin