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