RC2: an Efficient MaxSAT Solver
Alexey Ignatiev, António Morgado, João P. Marques-Silva · Journal on Satisfiability Boolean Modeling and Computation · 2019
Recent work proposed a toolkit PySAT aiming at fast and easy prototyping with propositional satisfiability (SAT) oracles in Python, which enabled one to exploit the power of the original implementations of the state-of-the-art SAT solvers in Python.