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

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