Documentation

data CNF Source

cnf :: [Clause] -> CNF Source

clauses :: CNF -> [Clause] Source

newtype Clause Source

clause :: [Literal] -> Clause Source

data Literal Source

literal :: Bool -> Variable -> Literal Source

nicht :: Literal -> Literal Source

type Variable = Int Source