wingetCollections
  • Auto
  • Search
  • Awesome Collections
  • Awesome Programs
  • My Favorite Collections
  • My Collections
  • Account / Settings
  • Terms of Service
  • Privacy
  • About

© 2025 winget.ragerworks.com

Loading...
Install MiniZinc IDE using Winget - wingetCollections
  1. Go back
  2. Packages
  3. MiniZinc IDE
MiniZinc IDE logo

MiniZinc IDE Data61 and Monash University

constraint constraint-programming ide language minizinc modeling optimization programming programming-language solver
Use this command to install MiniZinc IDE:
winget install --id=MiniZinc.MiniZincIDE -e

Integrated development environment for the high-level constraint modelling language MiniZinc.

MiniZinc IDE is an integrated development environment (IDE) for the MiniZinc constraint modeling language. It provides tools for developing, debugging, and solving constraint satisfaction problems efficiently. Designed to streamline the process of creating and testing models, the MiniZinc IDE offers a comprehensive platform for users working with high-level constraint programming.

Key Features:

  • Cross-platform support for Windows, macOS, and Linux.
  • Integration with multiple state-of-the-art solvers, including Gecode, Chuffed, Google OR-Tools CP-SAT, HiGHS, COIN-OR CBC, and others.
  • User-friendly interface for writing, debugging, and testing constraint models.
  • Support for a wide range of problem-solving approaches, from combinatorial optimization to scheduling and resource allocation.
Versions
2.9.3
2.9.2
Website
www.minizinc.org
License
Last Updated
5/23/2025
  • Built-in tools for model analysis, visualization, and performance monitoring.

    • Audience & Benefit: Ideal for researchers, educators, and developers working in operations research, artificial intelligence, and constraint programming. The MiniZinc IDE empowers users to build efficient, scalable, and maintainable constraint models while fostering collaboration and innovation. Its open-source nature ensures transparency and adaptability, making it a valuable tool for both academic and industrial applications.

    Available as an installable package via winget, the MiniZinc IDE is designed for seamless integration into existing workflows. For more detailed information on features, solvers, and compatibility, refer to the official documentation.