A monad for interfacing with external SAT solvers - View it on GitHub