jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.Sat3

Documentation

data Lit3 Source

Constructors

Lit3 

Fields

isFalse :: Lit
 
isTrue :: Lit
 

false3 :: Lit3Source

bottom3 :: Lit3Source

true3 :: Lit3Source

neg3 :: Lit3 -> Lit3Source

newLit3 :: SatSolver s => s -> IO Lit3Source

newLit2 :: SatSolver s => s -> IO Lit3Source

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