4.2.1. Standard Library

These functions and predicates define built-in operations of the MiniZinc language.