|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| 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 | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||