RC2 Family

List of Classes

hermax.non_incremental.RC2

RC2: A powerful MaxSAT solver based on the RC2 algorithm, using the PySAT implementation.

Module Description

Hermax provides one public RC2 API:

• hermax.non_incremental.RC2: non-incremental/re-encoding wrapper [1] [2].

It preserves the common hermax.core.ipamir_solver_interface.IPAMIRSolver interface.

API Details

Detailed method-level API for RC2 classes is documented in Non-Incremental Solvers.

References

[1]

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva. RC2: An Efficient MaxSAT Solver. JSAT 11(1), 2019.

[2]

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva. PySAT: A Python Toolkit for Prototyping with SAT Oracles. SAT 2018.