etc/settings
changeset 15331 3e85549f25f5
parent 15284 f14c6c057172
child 15501 59ebd778718c
     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