[MiniZinc]
  • MiniZinc homepage
  • Documentation
⇐ ⇧ ⇒
Builtins

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
©NICTA, 2014