| changeset 15283 | f21466450330 |
| parent 15227 | 804ecdc08cf2 |
| child 15284 | f14c6c057172 |
--- a/etc/settings Sat Nov 13 17:30:03 2004 +0100 +++ b/etc/settings Sun Nov 14 01:40:27 2004 +0100 @@ -224,8 +224,8 @@ # Einhoven model checker #EINDHOVEN_HOME=/usr/local/bin -# ZChaff, Version 2003.12.04 (SAT Solver) -#ZCHAFF_HOME=/usr/local/bin +# ZChaff, Version 2004.05.13 (SAT Solver) +ZCHAFF_HOME=/home/webertj/bin # BerkMin561 (SAT Solver) #BERKMIN_HOME=/usr/local/bin