jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Sat.ThreeValued

Documentation

data Lit3 Source #

Constructors

Lit3 

Fields

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

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