mcsXL: MCS eXtraction with subLinear number of oracle calls

mcsXL is a tool for relaxing overconstrained sets of constraints defined over Boolean domains.

Description

mcsXL [1] represents the state of the art in computing minimal correction subsets (MCSes) of overconstrained sets of constraints defined over Boolean domains.

Distribution

A Linux (64-bit) executable can be downloaded here: mcsxl.tar.gz

References

[1] Carlos Mencía, Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. MCS Extraction with Sublinear Oracle Queries. SAT 2016

Print/export