Documentation

data CNF Source

cnf :: [Clause] -> CNFSource

clauses :: CNF -> [Clause]Source

data Clause Source

clause :: [Literal] -> ClauseSource

literals :: Clause -> [Literal]Source

data Literal Source

literal :: Int -> LiteralSource

nicht :: Literal -> LiteralSource