funsat-0.4: A modern DPLL-style SAT solver Contents Index

Search:

Cfg Funsat.Solver Clause Funsat.Solver clauses Funsat.Solver CNF 1 (Data Constructor) Funsat.Solver 2 (Type/Class) Funsat.Solver combine Text.Tabular configRestart Funsat.Solver configRestartBump Funsat.Solver configUseLearning Funsat.Solver configUseRestarts Funsat.Solver configUseVSIDS Funsat.Solver configUseWatchedLiterals Funsat.Solver DPLLConfig Funsat.Solver evalSSTErrMonad DPLL.Monad GenCNF Funsat.Solver IAssignment Funsat.Solver L Funsat.Solver liftST DPLL.Monad, Control.Monad.MonadST Lit Funsat.Solver litAssignment Funsat.Solver litSign Funsat.Solver mkTable Text.Tabular modifySTRef Control.Monad.MonadST MonadST Control.Monad.MonadST newSTRef Control.Monad.MonadST NonStupidString Funsat.Solver numClauses Funsat.Solver numVars Funsat.Solver readSTRef Control.Monad.MonadST runSSTErrMonad DPLL.Monad Sat Funsat.Solver Solution Funsat.Solver solve Funsat.Solver solve1 Funsat.Solver SSTErrMonad DPLL.Monad Stats 1 (Type/Class) Funsat.Solver 2 (Data Constructor) Funsat.Solver statsAvgLearntLen Funsat.Solver statsNumConfl Funsat.Solver statsNumConflTotal Funsat.Solver statsNumDecisions Funsat.Solver statsNumImpl Funsat.Solver statsNumLearnt Funsat.Solver statTable Funsat.Solver stupefy Funsat.Solver Stupid Funsat.Solver T 1 (Type/Class) Text.Tabular 2 (Data Constructor) Text.Tabular unLit Funsat.Solver Unsat Funsat.Solver unTable Text.Tabular unVar Funsat.Solver V Funsat.Solver Var Funsat.Solver var Funsat.Solver verify Funsat.Solver writeSTRef Control.Monad.MonadST