MSUnCore - Maximum Satisfiability with UNsatisfiable COREs

Description

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.

Distribution

MSUnCore is publicly available as an executable for the following platforms:

Documentation

README file for MSUnCore.

Recent publications describing the algorithms implemented in MSUnCore include:

Recent presentations related to MSUnCore:

Benchmarks

  • Weighted/Unweighted (Partial) MaxSAT instances can be obtained from MaxSAT Evaluations.
  • MSUncore accepts both the CNF and WCNF formats (for details on the formats see this page).

Contributors

Funding

The developement of MSUnCore was partially supported by:

European Commission FP7 and Science Foundation Ireland

Wiki Status

Replicated Page

Print/export