author | webertj |
Thu, 25 Nov 2004 14:38:37 +0100 | |
changeset 15331 | 3e85549f25f5 |
parent 15330 | 630981482718 |
child 15332 | 0dc05858a862 |
etc/settings | file | annotate | diff | comparison | revisions |
--- 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