diff -r 765d5d6e4468 -r f21466450330 etc/settings
--- a/etc/settings	Sat Nov 13 17:30:03 2004 +0100
+++ b/etc/settings	Sun Nov 14 01:40:27 2004 +0100
@@ -224,8 +224,8 @@
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
 
-# ZChaff, Version 2003.12.04 (SAT Solver)
-#ZCHAFF_HOME=/usr/local/bin
+# ZChaff, Version 2004.05.13 (SAT Solver)
+ZCHAFF_HOME=/home/webertj/bin
 
 # BerkMin561 (SAT Solver)
 #BERKMIN_HOME=/usr/local/bin