eMUS (Enumerate MUSes) - partial MUS enumeration tool


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


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


Please contact Alessandro in case of any questions or problems.

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

Download source distribution:


Example Usage

1. computation of MUSes:

 ./emus INSTANCE



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

emus.txt · Last modified: 2013/05/14 14:35 by alexpreviti
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki