jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.Sat3
data Lit3 Source
Constructors
Fields
false3 :: Lit3 Source
true3 :: Lit3 Source
bottom3 :: 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