## Modules |

| Arithmetic constraints |

| Basic setup |

| Bin-packing constraints |

| Boolean constraints |

| Channel constraints |

| Circuit constraints |

| Count constraints |

| Cumulative scheduling constraints |

| Cumnulatives scheduling constraint |

| Distinct constraints |

| Domain constraints |

| Element constraints |

| Synchronized execution |

| Extensional (relation) constraints |

| Counting constraints (global cardinality) |

| Linear constraints |

| Membership constraints |

| Minimal modelling constraints (arithmetic) |

| Minimal modelling constraints (Boolean constraints) |

| Minimal modelling constraints (counting) |

| Minimal modeling constraints (linear constraints) |

| Minimal modelling constraints (relation) |

| No-overlap constraints |

| Number of values constraints |

| Relation constraints |

| Sequence constraints |

| Sorted constraints |

| Unary scheduling constraints |

| Unsharing variables in arrays |

| General test support |