diff -r 3d2529f48b07 -r 2253d273d944 etc/settings
--- a/etc/settings	Wed Mar 10 10:34:56 2004 +0100
+++ b/etc/settings	Wed Mar 10 20:21:08 2004 +0100
@@ -225,3 +225,6 @@
 
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
+
+# ZChaff SAT solver
+#ZCHAFF_HOME=/usr/local/bin