MiniZinc homepage
Documentation
The MiniZinc library
Sections:
Global constraints
Annotations
Option type support
Compiler options
Builtins
FlatZinc builtins