Logo
2.2.3
The MiniZinc Handbook
  • 1. Overview
    • 1.1. Introduction
    • 1.2. Installation
    • 1.3. First steps with MiniZinc
  • 2. A MiniZinc Tutorial
  • 3. User Manual
  • 4. Reference Manual
The MiniZinc Handbook
  • Docs »
  • 1. Overview

1. OverviewΒΆ

  • 1.1. Introduction
    • 1.1.1. Structure
    • 1.1.2. How to Read This
  • 1.2. Installation
    • 1.2.1. Binary Packages
      • 1.2.1.1. Microsoft Windows
      • 1.2.1.2. Linux
      • 1.2.1.3. Apple macOS
    • 1.2.2. Compilation from Source Code
      • 1.2.2.1. Microsoft Windows
      • 1.2.2.2. Linux
      • 1.2.2.3. Apple macOS
    • 1.2.3. Adding Third-party Solvers
  • 1.3. First steps with MiniZinc
    • 1.3.1. The MiniZinc IDE
    • 1.3.2. The MiniZinc command line tool
Next Previous

© Copyright 2016, 2017, 2018, Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License