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”.