MSCG - Maximum Satisfiability: a Core-Guided approach

Linear optimization over Boolean domains, implementing a core-guided approach.

Description

MSCG solves linear optimization problems defined over Boolean domains, which is commonly referred to as the Maximum Satisfiability (MaxSAT) problem. Concretely, MSCG is a high-performance example of the family of core-guide MaxSAT solvers.

Distribution

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

Documentation

README file for MSCG.

Recent publications describing the algorithms implemented in MSCG include:

Benchmarks

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

Contributors

Authors:

Contributors:

Wiki Status

Last update: 23 June 2016

Print/export