Ersatz.Solver.Minisat

Documentation

minisat :: MonadIO m => Solver SAT m

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

cryptominisat :: MonadIO m => Solver SAT m

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

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

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

The FilePath refers to the path to the executable.

cryptominisat5 :: MonadIO m => Solver SAT m

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

cryptominisat5Path :: MonadIO m => FilePath -> Solver SAT m

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

The FilePath refers to the path to the executable.

anyminisat :: Solver SAT IO

Hybrid Solver that tries to use: cryptominisat5, cryptominisat, and minisat