*** empty log message ***
authorwebertj
Sun Nov 14 01:56:58 2004 +0100 (2004-11-14)
changeset 15284f14c6c057172
parent 15283 f21466450330
child 15285 ce83b7e74a91
*** empty log message ***
etc/settings
     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