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”.
220.127.116.11. Additional Chuffed search annotations¶
Choose the variable with the largest smallest value in its domain
Choose a random variable
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 .