Data.Boolean

data Boolean

data Literal

literalVar

invLiteral

isPositiveLiteral

type CNF

type Clause

booleanToCNF