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