Download
- Documentation
User Guide and Reference Manual (pdf file)
- Context-Free Grammar Constraints
- Static Structural Symmetry Breaking
- Knapsack Constraint
| Available Methods
[cfgc.1.0.tgz] [3.8 mb]  |
|
| Available Methods
[sssb.1.0.tgz] [3.6 mb] |
|
| Available Methods [kp.1.0.tgz] [75 kb] |
