search

netom / satispy

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

Add ability to create Cnf object from string of Boolean formula #9

Closed jamesscottbrown closed 5 years ago