The MiniZinc Handbook contains all the documentation for the MiniZinc language and system. It includes:
The MiniZinc Handbook is also available as a printable PDF.
We have published a number of papers about the design and implementation of MiniZinc, and many other researchers have used MiniZinc for their work.
See a list of research papers about MiniZinc for more details.
The MiniZinc benchmarks and standard library is available at GitHub here.