15.2 Finite Domain Constraints

We consider the perhaps most popular class of constraints that are called finite domain (FD) constraints.

• 15.2.1 FD-Membership

• 15.2.2 FD-Propagators

• 15.2.3 FD-Reflect

• 15.2.4 FD-Distribution