MSCG is a general-purpose MaxSAT solver participated in the Ninth and Tenth Evaluations of Max-SAT Solvers. Although it is mainly focused on core-guided MaxSAT solving, MSCG also incorporates some other MaxSAT algorithms based on iterative calls to a SAT oracle.

Authors: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
Contributors: Carmine Dodaro, Inês Lynce, Vasco Manquinho

Download (2014): Linux x86-64 binary MacOS X Mavericks x86-64 binary
Download (2015a): Linux x86-64 binary MacOS X Mavericks x86-64 binary
Download (2015b): Linux x86-64 binary MacOS X Mavericks x86-64 binary