satchmo-2.9.7.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

cnf :: [Clause] -> CNF Source

clauses :: CNF -> [Clause] Source

size :: CNF -> Int Source

data Clause Source

Instances

Eq Clause
Ord Clause
Show Clause

clause :: [Literal] -> Clause Source

literals :: Clause -> [Literal] Source

data Literal Source

Instances

Eq Literal
Ord Literal
Show Literal

literal :: Bool -> Variable -> Literal Source

nicht :: Literal -> Literal Source

positive :: Literal -> Bool Source

variable :: Literal -> Variable Source

type Variable = Int Source