ersatz-0.2.4: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Solver.Minisat
Description
minisat :: MonadIO m => Solver SAT mSource
cryptominisat :: MonadIO m => Solver SAT mSource
minisatPath :: MonadIO m => FilePath -> Solver SAT mSource