toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Converter.ObjType
Description
data ObjType Source #
Constructors
Instances
Methods
(==) :: ObjType -> ObjType -> Bool #
(/=) :: ObjType -> ObjType -> Bool #