4.2.5. 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.5.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 .