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. Docker
    • 1.2.4.1. Adding MiniZinc to your own image
    • 1.2.4.2. Available images
  • 1.2.5. Adding Third-party Solvers
• 1.3. First steps with MiniZinc
  • 1.3.1. The MiniZinc IDE
  • 1.3.2. The MiniZinc command line tool