eMUS (Enumerate MUSes) - partial MUS enumeration tool

Description

eMUS is a tool for the partial enumeration of MUSes.

The relevant publications are:

  1. Alessandro Previti and J. Marques-Silva: Partial MUS enumeration (Preprint) AAAI 2013

News

Apr 22, 2013: New wiki page published for eMUS.

Distribution

Please contact Alessandro in case of any questions or problems.

Download binaries (Linux 64bit, MacOSX 64 bit):

Download source distribution:

Documentation

Example Usage

1. computation of MUSes:

 ./emus INSTANCE

Contributors

Funding

The research on partial enumeration of MUSes and the development of eMUS were partially supported by Science Foundation Ireland

Print/export