MSCG is a software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements different core-guided algorithms according to the type of instance considered.
15/Oct/2014: New wiki page published for MSCG.
MSCG is publicly available as an executable for the following platforms:
README file for MSCG.
Recent publications describing the algorithms implemented in MSCG include:
Last update: 16 October 2014