satchmo-2.9.9.3: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.Data

Description

this module just defines types for formulas, it is not meant to contain efficient implementations for formula manipulation.

Documentation

data CNF Source

Instances

Show CNF Source

cnf :: [Clause] -> CNF Source

clauses :: CNF -> [Clause] Source

size :: CNF -> Int Source

data Clause Source

Instances

Eq Clause Source
Ord Clause Source
Show Clause Source

clause :: [Literal] -> Clause Source

literals :: Clause -> [Literal] Source

data Literal Source

Instances

Eq Literal Source
Ord Literal Source
Show Literal Source
Generic Literal Source
Hashable Literal Source
Memoizable Literal Source
type Rep Literal Source

literal :: Bool -> Variable -> Literal Source

nicht :: Literal -> Literal Source

positive :: Literal -> Bool Source

variable :: Literal -> Variable Source

type Variable = Int Source