A suite of MiniZinc benchmarks.
☆93May 13, 2026Updated 5 months ago
Alternatives and similar repositories for minizinc-benchmarks
Users that are interested in minizinc-benchmarks 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 CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- The website for the MiniZinc constraint modelling system☆19Sep 7, 2026Updated 2 months ago
- ☆33Feb 22, 2024Updated 2 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆19Jul 9, 2026Updated 4 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆408Nov 27, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A CP Portfolio Solver☆27Jun 25, 2026Updated 4 months ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 11 months ago
- ☆70Mar 1, 2024Updated 2 years ago
- The MiniZinc IDE☆180Updated this week
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 8 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- The Chuffed CP solver☆130Jul 31, 2026Updated 3 months ago
- Algorithm Selection scenario data☆31Sep 29, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generic Constraint Development Environment☆339Updated this week
- ☆17Nov 2, 2026Updated last week
- A benchmark library for constraints☆106Sep 28, 2026Updated last month
- A Python Library for modeling combinatorial constrained problems☆89Nov 2, 2026Updated last week
- https://david.kolo.ski/blog/intelligent-brute-forcing/☆15Oct 14, 2021Updated 5 years ago
- Syntax highlighting for minizinc (CP) and gringo (ASP) source code.☆18Feb 28, 2022Updated 4 years ago
- An open-source Java library for Constraint Programming☆782Updated this week
- Modeling and Programming with Gecode☆51Updated this week
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Constraint Solver ACE☆41Oct 8, 2026Updated last month
- MiniZinc playground using WebAssembly☆14Updated this week
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Oct 27, 2026Updated last week
- R Interface to MiniZinc☆14Oct 17, 2021Updated 5 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆82Oct 14, 2026Updated 3 weeks ago
- parbeam.jl: Parallel Beam Search for Combinatorial Optimization☆10Aug 7, 2024Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆10Jan 13, 2018Updated 8 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆34Updated this week
- Script for getting the ThinkVision LT1421 working on Ubuntu. Use it to turn the monitor on and off.☆13Aug 25, 2014Updated 12 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.
- Python Combinatorial Optimisation Platform☆162Apr 2, 2021Updated 5 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆12Jun 29, 2021Updated 5 years ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆60Nov 2, 2026Updated last week
- Determine a schedule for running a set of jobs on a certain number of machines.☆17Sep 16, 2026Updated last month
- A `.cmake` file for Finding gRPC library. Some auxiliary functions are also provided. Written based on `FindProtobuf.cmake`, where protob…☆12Jun 5, 2017Updated 9 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- A toolkit for SAT-based prototyping in Python☆466Updated this week
Are these results useful?