satchmo-1.8.1: SAT encoding monad

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

newtype Literal Source

Constructors

Instances

Eq Literal
Ord Literal
Read Literal
Show Literal

literal :: Bool -> Variable -> Literal Source

nicht :: Literal -> Literal Source

type Variable = Int Source

variable :: Literal -> Variable Source

positive :: Literal -> Bool Source