10.38.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 given the finite integer domain -150000000..150000000.
Optimization problems
Only variables with finite integer domains can be optimized in minimize and maximize solve items. The int_float_lin/4 expression as described in the FlatZinc specification is thus not supported.
Solve annotations

Constraint annotations
Constraint annotations are currently ignored.
Variable annotations
Variable annotations are currently ignored, except var_is_introduced, which means that the corresponding variable is not considered in any default labeling (such as when no search annotation is given or when the labelling_ff search annotation is given).

Send feedback on this subject.