Differences

This shows you the differences between two versions of the page.

Link to this comparison view

emus [2016/11/18 15:10] (current)
ajrm created
Line 1: Line 1:
 +====== eMUS (Enumerate MUSes) - partial MUS enumeration tool ======
  
 +==== Description ====
 +eMUS is a tool for the partial enumeration of MUSes.
 +
 +The relevant publications are:
 +  - Alessandro Previti and J. Marques-Silva:​ {{:​papers:​pms-aaai13-preprint.pdf| Partial MUS enumeration (Preprint)}} AAAI 2013
 +
 +
 +==== News ====
 +Apr 22, 2013: New wiki page published for eMUS.
 +
 +
 +
 +==== Distribution ====
 +
 +Please contact [[alessandro.previti | Alessandro]] in case of any questions or problems. ​  
 +
 +Download binaries (Linux 64bit, MacOSX 64 bit):
 +  * {{:​tools:​emus_linux64-20130514.tar.gz|Linux 64 Bits}}
 +  * {{:​tools:​emus_lion_20130514.tar.gz|Lion}} ​
 +
 +Download source distribution:​
 +  * {{:​tools:​emus_dist.tar.gz| eMUS_dist}}
 +
 +==== Documentation ====
 +{{:​docs:​readme-emus.txt|README}}
 +
 +==== Example Usage ====
 +
 +1. computation of MUSes:
 +   ​./​emus INSTANCE
 +
 +==== Contributors ====
 +  * [[alessandro.previti|Alessandro Previti]]
 +  * [[joao.marques-silva| Joao Marques-Silva]] (Principal Investigator)
 +
 +==== Funding ====
 +The research on partial enumeration of MUSes and the development of eMUS were partially supported by [[http://​www.sfi.ie/​ | Science Foundation Ireland]]
 +
 +{{:​images:​sfi.jpeg?​nolink&​200|}}
Print/export