toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Converter.PB2SMP
Description
convert :: Bool -> Formula -> Builder Source #