MiniZinc Documentation - Standard Library

Parameters
annotation bounds

Annotate a constraint to use bounds propagation

annotation domain

Annotate a constraint to use domain propagation