satchmo-2.9.2: SAT encoding monad

Safe HaskellSafe-Inferred
LanguageHaskell98

Satchmo.Data

Documentation

data CNF Source

Instances

cnf :: [Clause] -> CNF Source

clauses :: CNF -> [Clause] Source

newtype Clause Source

Constructors

Clause 

Fields

literals :: [Literal]
 

Instances

clause :: [Literal] -> Clause Source

data Literal Source

Constructors

Literal 

Fields

variable :: Variable
 
positive :: Bool
 

Instances

literal :: Bool -> Variable -> Literal Source

nicht :: Literal -> Literal Source

type Variable = Int Source