10.39.1 Notes

Domain variables
Only variables with finite integer domains are supported. This includes boolean variables which are considered finite integer domain variables with the domain 0..1. Domain variables declared to be of type var int are initially given the finite integer domain inf..sup, and are given maximally wide bounded domains before any search is performed on them, as well as before certain constraints that demand bounded domains are posted on them.
Ground set values
Although set variables are not supported, ground set values are supported. For example, the MiniZinc global constraint sum_pred/4 takes as second argument an array of such ground set values.
Solve annotations

Constraint annotations
Constraint annotations of the form domain, bounds, and value are recognized in relevant FlatZinc-to-library(clpfd) constraint translations. Any other constraint annotation is ignored.
Variable annotations
The following variable annotations are recognized:

Any other variable annotation is ignored.


Send feedback on this subject.