search

ekmett / ersatz

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

Added the ability to get the solution out of depqbf #7

Closed danielwaterworth closed 9 years ago