1.1 --- a/etc/settings	Sun Nov 14 01:40:27 2004 +0100
     1.2 +++ b/etc/settings	Sun Nov 14 01:56:58 2004 +0100
     1.3 @@ -225,7 +225,7 @@
     1.4  #EINDHOVEN_HOME=/usr/local/bin
     1.5  
     1.6  # ZChaff, Version 2004.05.13 (SAT Solver)
     1.7 -ZCHAFF_HOME=/home/webertj/bin
     1.8 +#ZCHAFF_HOME=/usr/local/bin
     1.9  
    1.10  # BerkMin561 (SAT Solver)
    1.11  #BERKMIN_HOME=/usr/local/bin