ToySolver.SAT
Solver typedata Solver
type Var
type Lit
class AddClause m a
type Clause
class AddCardinality m a
type AtLeast
type Exactly
class AddPBLin m a
type PBLinTerm
type PBLinSum
type PBLinAtLeast
type PBLinExactly
class AddXORClause m a
type XORClause
data BudgetExceeded
data Canceled
class IModel a
type Model