Chapter 3
Constraints

 3.1 Primitive constraints
 3.2 Logical and conditional constraints
 3.3 Global Constraints
  3.3.1 Alldifferent constraints
  3.3.2 Circuit constraint
  3.3.3 Subcircuit constraint
  3.3.4 Element constraint
  3.3.5 Distance constraint
  3.3.6 Cumulative constraint
  3.3.7 Diff2 constraint
  3.3.8 Min, Max and ArgMin, ArgMax constraints
  3.3.9 Sum, SumWeight, SumWeightDom and Linear constraints
  3.3.10 ExtensionalSupport and ExtensionalConflict constraints
  3.3.11 Assignment constraint
  3.3.12 Count constraint
  3.3.13 Values constraint
  3.3.14 Global cardinality constraint (GCC)
  3.3.15 Among and AmongVar
  3.3.16 Regular constraint
  3.3.17 Knapsack constraint
  3.3.18 Geost constraint
  3.3.19 NetworkFlow constraint
  3.3.20 Binpacking
 3.4 Decomposed constraints
  3.4.1 Sequence constraint
  3.4.2 Stretch constraint
  3.4.3 Lex constraint
  3.4.4 Soft-Alldifferent
  3.4.5 Soft-GCC