Logo
2.5.4
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. Microsoft Windows
    • 1.2.2. Linux
      • 1.2.2.1. Snap
      • 1.2.2.2. AppImage
      • 1.2.2.3. Archive
    • 1.2.3. Apple macOS
    • 1.2.4. 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, 2019, 2020 Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License