# HG changeset patch
# User webertj
# Date 1101389917 -3600
# Node ID 3e85549f25f5314de9c577126aaf1975d1d4afe6
# Parent  6309814827188c51a4c32b82ecca68a78afee3bb
added ZCHAFF_VERSION

diff -r 630981482718 -r 3e85549f25f5 etc/settings
--- a/etc/settings	Thu Nov 25 12:39:12 2004 +0100
+++ b/etc/settings	Thu Nov 25 14:38:37 2004 +0100
@@ -224,8 +224,10 @@
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
 
-# ZChaff, Version 2004.05.13 (SAT Solver)
+# zChaff (SAT Solver)
 #ZCHAFF_HOME=/usr/local/bin
+#ZCHAFF_VERSION=2004.5.13
+#ZCHAFF_VERSION=2004.11.15
 
 # BerkMin561 (SAT Solver)
 #BERKMIN_HOME=/usr/local/bin