--- 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