ToySolver.SAT
Solver typedata Solver
type Var
type Lit
type Clause
type AtLeast
type Exactly
type PBLinTerm
type PBLinSum
type PBLinAtLeast
type PBLinExactly
type XORClause
data BudgetExceeded
class IModel a
type Model
data Config
data RestartStrategy
data LearningStrategy
data PBHandlerType