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