toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
SAT.TheorySolver
data TheorySolver Source
Constructors
Fields
emptyTheory :: TheorySolverSource