search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

Added a factorization example #5

Closed ghost closed 9 years ago

ghost commented 10 years ago

Still buggy