at.logic.gapt.provers.maxsat
An enumeration to distinguish different output formats of WCNF-based MaxSAT solvers.
An enumeration to distinguish different output formats of WCNF-based MaxSAT solvers.