toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.SAT.TheorySolver

Documentation

data TheorySolver Source

Constructors

TheorySolver 

Fields

thAssertLit :: (Lit -> IO Bool) -> Lit -> IO Bool
 
thCheck :: (Lit -> IO Bool) -> IO Bool
 
thExplain :: IO [Lit]
 
thPushBacktrackPoint :: IO ()
 
thPopBacktrackPoint :: IO ()