search

netom / satispy

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

Added python eggs #4

Closed netom closed 9 years ago