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