satchmo-1.8.1: SAT encoding monad
Satchmo.Data
data CNF Source
Instances
cnf :: [Clause] -> CNFSource
clauses :: CNF -> [Clause]Source
newtype Clause Source
Constructors
Fields
clause :: [Literal] -> ClauseSource
newtype Literal Source
literal :: Bool -> Variable -> LiteralSource
nicht :: Literal -> LiteralSource
type Variable = IntSource
variable :: Literal -> VariableSource
positive :: Literal -> BoolSource