SAT.Solver.Mios.Types

class VectorFamily s t

Variable

type Var

bottomVar

int2var

Internal encoded Literal

type Lit

lit2int

int2lit

bottomLit

newLit

positiveLit

lit2var

var2lit

negateLit

Assignment

data LiftedBool

lbool

lFalse

lTrue

lBottom

class VarOrder o

CNF

data CNFDescription