satchmo-1.4: SAT encoding monad Source code Contents Index

Satchmo.Data

Documentation

data CNF Source

Instances Show CNF

cnf :: [Clause] -> CNF Source

clauses :: CNF -> [Clause] Source

data Clause Source

Instances Show Clause

clause :: [Literal] -> Clause Source

literals :: Clause -> [Literal] Source

data Literal Source

Instances Eq Literal Ord Literal Show Literal

literal :: Int -> Literal Source

nicht :: Literal -> Literal Source

Produced by Haddock version 2.6.0