ToySolver.SAT.TheorySolver

Documentation

data TheorySolver

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 ()

emptyTheory :: TheorySolver