|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.reader | |
|---|---|
| org.sat4j.reader | |
| Classes in org.sat4j.reader used by org.sat4j.reader | |
|---|---|
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||