toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.BitVector
module ToySolver.BitVector.Base
module ToySolver.BitVector.Solver