A suite of MiniZinc benchmarks.
☆87Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for minizinc-benchmarks
Users that are interested in minizinc-benchmarks are comparing it to the libraries listed below
Sorting:
- The website for the MiniZinc constraint modelling system☆17Feb 9, 2026Updated 3 weeks ago
- small MiniZinc examples demonstrating various language features☆126Sep 11, 2017Updated 8 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- ☆70Mar 1, 2024Updated 2 years ago
- XCSP3 Tools in Java☆23Feb 9, 2026Updated 3 weeks ago
- The MiniZinc compiler☆666Feb 25, 2026Updated last week
- The MiniZinc IDE☆168Feb 26, 2026Updated last week
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- The Chuffed CP solver☆121Jan 6, 2026Updated 2 months ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- A benchmark library for constraints☆99Updated this week
- A Python Library for modeling combinatorial constrained problems☆81Updated this week
- ☆12Nov 29, 2023Updated 2 years ago
- Access to all MiniZinc functionality directly from Python☆201Dec 15, 2025Updated 2 months ago
- A collection of notable optimization problems solved with AMPL.☆13Jul 29, 2017Updated 8 years ago
- A constraint programming solver with support for proof logging☆17Updated this week
- Java Constraint Programming solver☆233Updated this week
- A standalone local search solver for general mixed integer programming☆45Feb 12, 2026Updated 3 weeks ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Feb 17, 2026Updated 2 weeks ago
- ☆16Aug 25, 2017Updated 8 years ago
- Syntax highlighting for minizinc (CP) and gringo (ASP) source code.☆17Feb 28, 2022Updated 4 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Exact Branch-and-Benders-cut algorithm for the Maximal Covering Location Problem and for the Partial Set Covering Location Problem☆22Mar 30, 2023Updated 2 years ago
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 2 weeks ago
- Libraries of Pyomo test problems☆25Feb 20, 2026Updated 2 weeks ago
- Python code for spatial optimization problems.☆24Aug 29, 2024Updated last year
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Nov 21, 2022Updated 3 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Feb 23, 2026Updated last week
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- An open-source library crafting efficient algorithms for Mixed Integer Linear Programming (MILP) challenges.☆12May 4, 2024Updated last year
- Constraint Solver ACE☆36Updated this week
- A Python implementation of Simplex and Interior-Point algorithms for solving Linear Programs (LPs)☆25Jul 11, 2019Updated 6 years ago
- Benchmark instances for job-shop scheduling problem☆117Nov 21, 2014Updated 11 years ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Apr 26, 2022Updated 3 years ago
- OR-Tools vs. CP Optimizer vs. CPLEX for Blocking Job Shop / Simple Job Shop Scheduling Problems☆70Oct 29, 2020Updated 5 years ago