documentation.html

---
layout: default
title: GECODE documentation
headline: Documentation
newsContent:
  <h3>7-Zip</h3>
  <p>
  The 7-Zip archives (file extension 7z) use 
  <a href="http://www.7-zip.org">7-Zip</a> as a file 
  archiver with a high compression ratio.
  </p>
---

  <h3>Modeling and Programming with Gecode</h3>
 
  <p>
      <a href="/doc-latest/MPG.pdf">Modeling and Programming with Gecode</a> provides comprehensive 
    documentation of how to model and program with Gecode.
  </p>

  <p>
    The first part of the document explains modeling and solving
    constraint problems with Gecode. It explains how to program,
    compile, link, and execute these models. It provides an
    overview of integer, Boolean, and set variables and
    constraints, modeling support, search, and Gist. This is
    complemented by a comprehensive collection of
    case studies of how to model with Gecode.
  </p>

  <p>
   The remaining, more advanced, parts are about programming with
   Gecode. They explain in great detail and with numerous
   examples the concepts and techniques for programming
   constraints, branchings, search engines, and new variable
   types with Gecode. The parts' coverage puts users on par with 
   Gecode's developers.
  </p>

  <ul>
   <li>Download: <a href="/doc-latest/MPG.pdf">Modeling and Programming with Gecode</a>.</li>
   <li>License: <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative
  Commons License Attribution-Noncommercial-No Derivative Works
  3.0</a>.</li>
  </ul>

  <p>The <a href="https://github.com/Gecode/MPG">sources of Modeling and Programming with Gecode</a> are available on GitHub.</p>

  <h3>Reference Documentation</h3>

  {% assign GECODESTAMP = site.data.versions["gecodestamp"] %}

  <ul>
  <li><a href="doc-latest/reference/index.html"
      >Online HTML</a></li>
  <li><a href="https://GitHub.com/Gecode/gecode/releases/download/release-{{ GECODESTAMP }}/gecode-doc-{{ GECODESTAMP }}.tar.gz"
      >Compressed tar-archive containing html pages</a></li>
  <li><a href="https://GitHub.com/Gecode/gecode/releases/download/release-{{ GECODESTAMP }}/gecode-doc-{{ GECODESTAMP }}.7z"
      >7-Zip-archive containing html pages</a></li>
  </ul>
  
  <p>
    We kindly ask that documentation be not installed anywhere in
    such a way that it will be indexed by search engines.
  </p>

  <h3>Online Reference Documentation for Previous Versions</h3>

  <p>[<a href="/doc/6.1.1/reference/">6.1.1</a>]
     [<a href="/doc/6.0.1/reference/">6.0.1</a>]
     [<a href="/doc/5.1.0/reference/">5.1.0</a>]
     [<a href="/doc/4.4.0/reference/">4.4.0</a>]
     [<a href="/doc/3.7.3/reference/">3.7.3</a>]
     [<a href="/doc/2.2.0/reference/">2.2.0</a>]
     [<a href="/doc/1.3.1/reference/">1.3.1</a>]</p>