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