RC2 - an efficient MaxSAT solver

Description

The RC2 solver implements a core-guided MaxSAT algorithm based on relaxable cardinality constraints. The solver is implemented in Python as a part of the PySAT framework publicly available online. Despite being prototyped in Python, RC2 was ranked first in the two complete categories of the MaxSAT Evaluation 2018.

Authors

Print/export