| BoolConstraints |
Generation of boolean constraints in flatzinc
|
| ComparisonConstraints |
Generation of comparison constraints in flatzinc
|
| ElementConstraints |
Generation of boolean constraints in flatzinc
|
| FloatComparisonConstraints |
Generation of set constraints in flatzinc
|
| FloatLinearConstraints |
Generation of set constraints in flatzinc
|
| FloatOperationConstraints |
Generation of set constraints in flatzinc
|
| GlobalConstraints |
Generation of global constraints in flatzinc
|
| GlobalConstraints.Pair |
|
| LinearConstraints |
Generation of linear constraints in flatzinc
|
| OperationConstraints |
Generation of linear constraints in flatzinc
|
| ReificationConstraints |
|
| SetConstraints |
Generation of set constraints in flatzinc
|
| Support |
Basic support for generation of constraints in flatzinc
|