MiniZinc Documentation - Standard Library

These annotations control evaluation and solving behaviour.

Sections: