toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Converter.WBO2MaxSAT
Description
convert :: SoftFormula -> (WCNF, Model -> Model, Model -> Model) Source #