These functions and predicates define built-in operations of the MiniZinc language.
Sections:
- Comparison Builtins
- Arithmetic Builtins
- Exponential and logarithmic builtins
- Trigonometric functions
- Logical operations
- Set operations
- Array operations
- Array sorting operations
- Coercions
- String operations
- Reflection operations
- Assertions and debugging functions
- Functions for enums
- Random Number Generator builtins
- Special constraints
- Language information