jukebox-0.1.3: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Sat3

Documentation

data Lit3 Source

Constructors

Lit3 

Fields

isFalse :: Lit
 
isTrue :: Lit
 

false3 :: Lit3 Source

bottom3 :: Lit3 Source

true3 :: Lit3 Source

neg3 :: Lit3 -> Lit3 Source

newLit3 :: SatSolver s => s -> IO Lit3 Source

newLit2 :: SatSolver s => s -> IO Lit3 Source

modelValue3 :: SatSolver s => s -> Lit3 -> IO (Maybe Bool) Source

value3 :: SatSolver s => s -> Lit3 -> IO (Maybe Bool) Source

val3 :: (Lit -> IO (Maybe Bool)) -> Lit3 -> IO (Maybe Bool) Source