ersatz-0.2.5: A monad for expressing SAT or QSAT problems using observable sharing.

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Ersatz.Solver.Minisat

Description

 

Documentation

minisat :: MonadIO m => Solver SAT mSource

cryptominisat :: MonadIO m => Solver SAT mSource

minisatPath :: MonadIO m => FilePath -> Solver SAT mSource