Safe Haskell	None
Language	Haskell2010

ToySolver.SAT.TheorySolver

Documentation

Constructors

TheorySolver
Fields thAssertLit :: (Lit -> IO Bool) -> Lit -> IO Bool thCheck :: (Lit -> IO Bool) -> IO Bool thExplain :: Maybe Lit -> IO [Lit] thPushBacktrackPoint :: IO () thPopBacktrackPoint :: IO () thConstructModel :: IO ()