| Class | Description |
|---|---|
| CSPExtSupportReader | |
| CSPInstanceReader |
An reader having the responsability to choose the right reader according to
the input.
|
| CSPReader |
This class is a CSP to SAT translator that is able to read a CSP problem
using the First CSP solver competition input format and that translates it
into clausal and cardinality (equality) constraints.
|
| CSPSupportReader | |
| XMLCSPReader |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.