changeset 15331 | 3e85549f25f5 |
parent 15284 | f14c6c057172 |
child 15501 | 59ebd778718c |
--- 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