
Modules 
 Arithmetic constraints 
 Basic setup 
 Boolean constraints 
 Channel constraints 
 Circuit constraints 
 Count constraints 
 Distinct constraints 
 Domain constraints 
 Element constraints 
 Extensional (relation) constraints 
 Counting constraints (global cardinality) 
 Linear constraints 
 Minimal modelling constraints (arithmetic) 
 Minimal modelling constraints (Boolean constraints) 
 Minimal modelling constraints (counting) 
 Minimal modelling constraints (linear constraints) 
 Minimal modelling constraints (relation) 
 Relation constraints 
 Scheduling constraints 
 Sorted constraints 
 Unsharing variables in arrays 
 General test support 