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

Copyright© Edward Kmett 2010-2014 Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Ersatz.Solver.Minisat

Description

 

Synopsis

Documentation

minisat :: MonadIO m => Solver SAT m Source #

Solver for SAT problems that tries to invoke the minisat executable from the PATH

cryptominisat :: MonadIO m => Solver SAT m Source #

Solver for SAT problems that tries to invoke the cryptominisat executable from the PATH

minisatPath :: MonadIO m => FilePath -> Solver SAT m Source #

Solver for SAT problems that tries to invoke a program that takes minisat compatible arguments.

The FilePath refers to the path to the executable.