resources.html

---
layout: minizinc
title: MiniZinc - Resources
---

<!-- Page Content -->
<div class="container">

    <div class="row">
        <div class="col-lg-12">
            <h1 class="page-header">
                MiniZinc Resources
            </h1>
        </div>
    </div>

    <!-- Intro Content -->
    <div class="row">
        <div class="col-md-12">

            <h2>The MiniZinc Handbook</h2>

            <p>The <a href="doc-latest/index.html">MiniZinc Handbook</a> contains all the documentation for the
              MiniZinc language and system. It includes:
            </p>
            <ul>
            <li>The <a href="doc-latest/en/part_2_tutorial.html">MiniZinc Tutorial</a>,
              a step-by-step introduction to modelling with MiniZinc;</li>
            <li>The <a href="doc-latest/en/part_3_user_manual.html">MiniZinc User Manual</a>, which covers
              the command line tools, the MiniZinc IDE and some additional tools; and</li>
            <li>The <a href="doc-latest/en/part_4_reference.html">MiniZinc Reference Manual</a>, with
              the official specifications of MiniZinc, FlatZinc, and the
              <a href="doc-latest/en/lib.html">MiniZinc library</a> of global constraints
              and built-in functions.</li>
            </ul>

            <p>The MiniZinc Handbook is also available <a href="doc-latest/en/handbook.html">
              as a printable PDF.</a></p>

            <p>The tutorial is also available in <a href="doc-latest/chi/index.html">Chinese</a>!
                MiniZinc手册<a href="doc-latest/chi/index.html">中文版</a>已经提供
                (<a href="doc-latest/chi/handbook.html">PDF version</a>)
            </p>
                        
            <h2>Research papers</h2>

            <p>
                We have published a number of papers about the design and implementation of MiniZinc, and
                many other researchers have used MiniZinc for their work.
            </p><p>
                See 
                <a href="/publications.html">a list of research papers about MiniZinc</a> for more details.
            </p>

            <h2>Books</h2>

            <p><a href="https://www.springer.com/gp/book/9783030417314"><i>Building Decision Support Systems using MiniZinc</i></a> by Mark Wallace
                introduces readers to the principles of intelligent decision support systems (IDSS) and how to build them with MiniZinc.
            </p>

            <h2>Benchmarks and examples</h2>

            <p>
                The MiniZinc benchmarks and standard library is available at GitHub <a href="https://github.com/MiniZinc">here</a>.
            </p>

            <h2>Miscellaneous</h2>
            <ul>
                <li><p>Hakan Kjellerstrand's <a href="http://www.hakank.org/minizinc/">MiniZinc page</a>
                    has lots of MiniZinc models and global constraint definitions.</p>
                </li>

                <li><p>MiniZinc Workshop 2011 <a href="workshop2011/workshop.html">Home Page</a>.
                </li>
            </ul>
        </div>
    </div>
</div>