SAT.Mios.Types

Variable

type Var

Internal encoded Literal

type Lit

Assignment on the lifted Bool domain

class VarOrder o

CNF

data CNFDescription

Solver Configuration

data MiosConfiguration

defaultConfiguration