Jukebox.Sat3

Documentation

data Lit3

Constructors

Lit3

Fields

• isFalse :: Lit
• isTrue :: Lit

false3 :: Lit3

true3 :: Lit3

bottom3 :: Lit3

neg3 :: Lit3 -> Lit3

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

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

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

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

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