This trait provides an interface to solvers for the Weighted Partial MaxSat problem.
A trait for such WCNF-based MaxSAT solvers that are invoked by calling an OS-level binary.
Created by frain on 4/1/15.
Created by frain on 3/31/15.
Created by frain on 3/31/15.
Created by frain on 3/31/15.
Created by frain on 3/31/15.
An enumeration to distinguish different output formats of WCNF-based MaxSAT solvers.