satchmo-2.8.2: SAT encoding monad

Safe HaskellSafe-Inferred
LanguageHaskell98

Satchmo.Data

Documentation

data CNF Source

Instances

newtype Clause Source

Constructors

Clause 

Fields

literals :: [Literal]
 

Instances

data Literal Source

Constructors

Literal 

Instances