MSUnCore is a software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements a number of different algorithms. Most of the MaxSAT algorithms implemented in MSUnCore are based on iterative identification of unsatisfiable cores.
22/Apr/2013: New Release of MSUnCore which includes bcd2.
07/Jun/2011: New wiki page published for MSUnCore.
MSUnCore is publicly available as an executable for the following platforms:
README file for MSUnCore.
Recent publications describing the algorithms implemented in MSUnCore include:
Recent presentations related to MSUnCore:
The developement of MSUnCore was partially supported by:
Last update: 22 April 2013