|
| | 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.