search

netom / satispy

An interface to SAT solver tools (like minisat)
Other
58 stars 17 forks source link

Lingeling support #3

Closed dhoepelman closed 9 years ago

dhoepelman commented 9 years ago

I've added Lingeling support, a SAT solver which scores very well in the last 2 SAT competitions. Only tested on CYGWIN though

I've also added a CYGWIN example

netom commented 9 years ago

Thank you!