4.2.8. Additional declarations for Chuffed

These annotations and predicates are available for the Chuffed solver. In order to use them in a model, include the file “chuffed.mzn”.

4.2.8.1. Additional Chuffed search annotations

Parameters

annotation largest_smallest

Choose the variable with the largest smallest value in its domain

annotation random_order

Choose a random variable

annotation smallest_largest

Choose the variable with the smallest largest value in its domain

Functions and Predicates

annotation priority_search(array [int] of var int: x,
                           array [int] of ann: search,
                           ann: select,
                           ann: explore)

Specify search on a group of searches search , for which variables x act as delegates for the search selection with variable selection strategy select , and exploration strategy explore .