| changeset 14943 | ffdb22cf6f67 |
| parent 14942 | 78ddcbebace1 |
| child 14981 | e73f8140af78 |
| 14942:78ddcbebace1 | 14943:ffdb22cf6f67 |
|---|---|
225 |
225 |
226 # BerkMin561 (SAT Solver) |
226 # BerkMin561 (SAT Solver) |
227 #BERKMIN_HOME=/usr/local/bin |
227 #BERKMIN_HOME=/usr/local/bin |
228 #BERKMIN_EXE=BerkMin561-linux |
228 #BERKMIN_EXE=BerkMin561-linux |
229 #BERKMIN_EXE=BerkMin561-solaris |
229 #BERKMIN_EXE=BerkMin561-solaris |
230 |
|
231 # Jerusat 1.3 (SAT Solver) |
|
232 #JERUSAT_HOME=/usr/local/bin |