toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Converter.MaxSAT2LP
Description
convert :: Bool -> WCNF -> (LP, Map Var Rational -> Model)Source