search

ekmett / ersatz

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

Use build-type: Simple. #52

Closed phadej closed 3 years ago

phadej commented 3 years ago

There simply aren't any doctests.