MCSls is a tool for computing and enumerating MCSes.
The relevant publications are:
Apr 23, 2013: New wiki page published for MCSls.
Download binaries (Linux 64bit, MacOSX 64 bit) of MCSls:
Please contact Joao Marques-Silva in case of any queries or bug reports.
1. Computation of all MCSes:
2. Help command:
The problem instances used in our IJCAI 2013 paper are available from http://logos.ucd.ie/Drops/ijcai13-bench.tgz. The size of this archive is ~1.8GByte. Please contact Joao Marques-Silva in case you are unable to download the archive.
Download binaries (Linux 64bit, MacOSX 64 bit) of CAMUS2:
README describing IJCAI'13 experiments
The research on MCS extraction & enumeration and the development of MCSls were partially supported by Science Foundation Ireland.