10.46.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. 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:

output_var   since release 4.2

the variable may be written on the current output stream.

output_array   since release 4.2

the variable array may be written on the current output stream.


the variable will not be considered in any default labeling (such as when the search annotations don’t include all variables)

Send feedback on this subject.