|
| Arithmetic |
| Tests for arithmetic constraints
|
|
| Basic |
| Tests for basic setup
|
|
| BinPacking |
| Tests for bin-packing constraint
|
|
| Bool |
| Tests for Boolean constraints
|
|
| Channel |
| Tests for channel constraints
|
|
| Circuit |
| Tests for circuit constraints
|
|
| Count |
| Tests for count constraints
|
|
| Cumulative |
| Tests for cumulative scheduling constraints.
|
|
| Cumulatives |
| Tests for scheduling constraints
|
|
| Distinct |
| Tests for distinct constraints
|
|
| Dom |
| Tests for domain constraints
|
|
| Element |
| Tests for element constraints
|
|
| Exec |
| Tests for synchronized execution
|
|
| Extensional |
| Tests for extensional (relation) constraints
|
|
| GCC |
| Tests for counting constraints (global cardinality)
|
|
| Linear |
| Tests for linear constraints
|
|
| Member |
| Tests for membership constraints
|
|
| MiniModel |
| Tests for minimal modelling constraints (simple relations)
|
|
| MiniModelArithmetic |
| Tests for minimal modelling constraints (arithmetic)
|
|
| MiniModelBoolean |
| Tests for minimal modelling constraints (Boolean)
|
|
| MiniModelCount |
| Tests for minimal modelling constraints (counting)
|
|
| MiniModelLin |
| Tests for minimal modelling constraints (linear)
|
|
| MiniModelSet |
| Tests for minimal modelling constraints (Set)
|
|
| NoOverlap |
| Tests for no-overlap constraint
|
|
| NValues |
| Tests for number of values constraints
|
|
| Precede |
| Tests for value precedence constraints
|
|
| Rel |
| Tests for relation constraints
|
|
| Sequence |
| Tests for sequence constraints
|
|
| Sorted |
| Tests for sorted constraints
|
|
| Unary |
| Tests for unary scheduling constraints
|
|
| Unshare |
| Tests for unsharing variables in arrays
|
|
Testing finite domain integers.