---------------------------------------------
 MUC Approximation & Minimization Procedures
----- by Cedric Piette (piette@cril.fr) -----


Available for now :
- 2 approaches for approximating a MUC (wcore and full-wcore)
- 3 minimization methods (Destructive [DS] Dichotomic [DC] Combine [CB])

More details about those approaches in http://www.cril.fr/~piette/muc



To extract a MUC, use one of the provided scripts:
     XX_*wcore.sh file.xml

For example, in order to extract a MUC from a file foo.xml with full-wcore and
the combine minimization method, type :
    ./CB_fullwcore.sh ./foo.xml
Accepted File Format : XCSP 1.0 
Very soon, the new version of this format (2.1) will be accepted.

Some XCSP 1.0 unsatisfiable problems are available there : http://www.cril.fr/~piette/muc


Please feel free to contact for any question/remark.
Cdric Piette
