equal
deleted
inserted
replaced
218 #MUCKE_HOME=/usr/local/bin |
218 #MUCKE_HOME=/usr/local/bin |
219 |
219 |
220 # Einhoven model checker |
220 # Einhoven model checker |
221 #EINDHOVEN_HOME=/usr/local/bin |
221 #EINDHOVEN_HOME=/usr/local/bin |
222 |
222 |
223 # ZChaff SAT solver |
223 # ZChaff, Version 2003.12.04 (SAT Solver) |
224 #ZCHAFF_HOME=/usr/local/bin |
224 #ZCHAFF_HOME=/usr/local/bin |
|
225 |
|
226 # BerkMin561 (SAT Solver) |
|
227 #BERKMIN_HOME=/usr/local/bin |
|
228 #BERKMIN_EXE=BerkMin561-linux |
|
229 #BERKMIN_EXE=BerkMin561-solaris |