changeset 15717 | 541e50adfc73 |
parent 15703 | 727ef1b8b3ee |
child 15734 | 56a807868e23 |
15716:1291a8f2ccb1 | 15717:541e50adfc73 |
---|---|
237 #BERKMIN_EXE=BerkMin561-linux |
237 #BERKMIN_EXE=BerkMin561-linux |
238 #BERKMIN_EXE=BerkMin561-solaris |
238 #BERKMIN_EXE=BerkMin561-solaris |
239 |
239 |
240 # Jerusat 1.3 (SAT Solver) |
240 # Jerusat 1.3 (SAT Solver) |
241 #JERUSAT_HOME=/usr/local/bin |
241 #JERUSAT_HOME=/usr/local/bin |
242 |