satchmo-1.3: SAT encoding monad

Satchmo.Data

Documentation

data CNF Source

Instances

cnf :: [Clause] -> CNFSource

clauses :: CNF -> [Clause]Source

data Clause Source

Instances

clause :: [Literal] -> ClauseSource

literals :: Clause -> [Literal]Source

data Literal Source

Instances

literal :: Int -> LiteralSource

nicht :: Literal -> LiteralSource