jukebox-0.2.4: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Clausify

Documentation

newtype ClausifyFlags Source

Constructors

ClausifyFlags 

Fields

splitting :: Bool
 

makeOr :: [(Form, Cost)] -> M ([Form], Form, Cost) Source

cross :: [[[Literal]]] -> [[Literal]] Source

run :: M a -> NameM a Source

withName :: Tag -> M a -> M a Source