================================================================================
Discrete-event system (DES) diagnosis benchmarks.
================================================================================

This set of benchmarks consists of 100 instances of 
Discrete-Event System (DES) Diagnosis benchmarks.

The complete set of 600 instances can be found at:
http://sat.inesc-id.pt/~ruben/benchmarks

More information regarding these benchmarks can be found at:
http://www.grastien.net/ban/data/cc/

================================================================================

Authors: Anbulagan and Alban Grastien
References: 
[1] Anbulagan and Alban Grastien. Importance de la sémantique dans le codage CNF 
de contraintes de cardinalité : application au diagnostic de SED. In journées 
francophones de programmation par contraintes (JFPC-08), 2008.

[2] Anbulagan and Alban Grastien. Importance of variables semantic in CNF 
encoding of cardinality constraints. In Symposium on Abstraction, Reformulation 
and Approximation (SARA-09), 2009.

================================================================================