# HG changeset patch
# User webertj
# Date 1087250800 -7200
# Node ID 78ddcbebace1edcecf2c2e8dfc52384f98a6689e
# Parent  1edb674e0c33f2524691cf7a42c62c088d267de0
entries for ZChaff and BerkMin added/modified

diff -r 1edb674e0c33 -r 78ddcbebace1 etc/settings
--- a/etc/settings	Mon Jun 14 16:46:48 2004 +0200
+++ b/etc/settings	Tue Jun 15 00:06:40 2004 +0200
@@ -220,5 +220,10 @@
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
 
-# ZChaff SAT solver
+# ZChaff, Version 2003.12.04 (SAT Solver)
 #ZCHAFF_HOME=/usr/local/bin
+
+# BerkMin561 (SAT Solver)
+#BERKMIN_HOME=/usr/local/bin
+#BERKMIN_EXE=BerkMin561-linux
+#BERKMIN_EXE=BerkMin561-solaris