# HG changeset patch
# User webertj
# Date 1078946468 -3600
# Node ID 2253d273d94480e02d335a868a7d5f93efc20a98
# Parent  3d2529f48b07fb9d9e337de1d079c08320ed0994
ZCHAFF_HOME variable added

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