toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Converter.WBO2PB
Description
convert :: SoftFormula -> (Formula, Model -> Model)Source