In this section we introduce popular constraints, those of XCSP³-core. Most of the problems can be modeled by means of these constraints.

Table of contents

• AllDifferent
• AllDifferentMatrix
• AllEqual
• BinPacking
• Cardinality
• Channel
• Circuit
• Count
• Cumulative
• Decreasing
• Element
• ElementMatrix
• Extension
• Increasing
• Intension
• Knapsack
• LexDecreasing
• LexIncreasing
• MDD
• Maximum
• Minimum
• NValues
• NoOverlap
• Precedence
• Regular
• Sum