The MiniZinc IDE
☆170Apr 7, 2026Updated last week
Alternatives and similar repositories for MiniZincIDE
Users that are interested in MiniZincIDE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The MiniZinc compiler☆674Mar 19, 2026Updated 3 weeks ago
- Access to all MiniZinc functionality directly from Python☆204Dec 15, 2025Updated 4 months ago
- The Chuffed CP solver☆122Mar 17, 2026Updated 3 weeks ago
- Generic Constraint Development Environment☆323Feb 23, 2026Updated last month
- A CP Portfolio Solver☆27Apr 18, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- A suite of MiniZinc benchmarks.☆88Mar 13, 2026Updated last month
- ☆32Feb 22, 2024Updated 2 years ago
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 5, 2026Updated last month
- A constraint modelling and rewriting library and compiler framework written in rust☆31Mar 30, 2026Updated 2 weeks ago
- The website for the MiniZinc constraint modelling system☆17Feb 9, 2026Updated 2 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆399Nov 27, 2025Updated 4 months ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Use MiniZinc in the browser or with NodeJS☆56Updated this week
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated last month
- DEPRECATED: Interface between the GLPK.jl wrapper and MathProgBase.jl☆17Apr 18, 2024Updated last year
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- A curated list of awesome OR-Tools community resources.☆195Oct 22, 2024Updated last year
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆31Updated this week
- Conjure: The Automated Constraint Modelling Tool☆113Apr 4, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 2 years ago
- A benchmark library for constraints☆100Mar 30, 2026Updated 2 weeks ago
- An open-source Java library for Constraint Programming☆763Updated this week
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- ☆11Sep 21, 2025Updated 6 months ago
- A Python Library for modeling combinatorial constrained problems☆82Updated this week
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 7 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A `.cmake` file for Finding gRPC library. Some auxiliary functions are also provided. Written based on `FindProtobuf.cmake`, where protob…☆12Jun 5, 2017Updated 8 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 3 years ago
- A constraint solver purely on GPUs (CUDA)☆38Apr 3, 2026Updated last week
- Implementation of the Aardappel programming language☆31May 29, 2017Updated 8 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- A book about how teachers can use chat bots with discernment. And some notes about background and future for AI.☆27Dec 9, 2023Updated 2 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year