toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Converter.PBSetObj
Description
data ObjType Source
Constructors
Instances
setObj :: ObjType -> Formula -> FormulaSource