jukebox-0.2.4: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Sat

Documentation

data Solver :: *

data Lit :: *

Instances

neg :: Lit -> Lit

addClause :: SatSolver s => s -> [Lit] -> IO () Source

solve :: SatSolver s => s -> [Lit] -> IO Bool Source

conflict :: SatSolver s => s -> IO [Lit] Source

value :: SatSolver s => s -> Lit -> IO (Maybe Bool) Source