search

ekmett / ersatz

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

Export GVariable and its methods #6

Closed glguy closed 9 years ago

glguy commented 9 years ago

Exporting this class and its methods enables authors to use the generically derived exists and forall implementations as utilities while generating their own instances.