MiniZinc / minizinc-benchmarks
A suite of MiniZinc benchmarks.
☆84Updated 4 years ago
Alternatives and similar repositories for minizinc-benchmarks:
Users that are interested in minizinc-benchmarks are comparing it to the libraries listed below
- The MiniZinc IDE☆148Updated 3 weeks ago
- A benchmark library for constraints☆89Updated 5 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 3 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- The Chuffed CP solver☆104Updated this week
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- ☆31Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 8 months ago
- A CP Portfolio Solver☆26Updated last year
- The website for the MiniZinc constraint modelling system☆15Updated 3 weeks ago
- ☆66Updated last year
- A Python Library for modeling combinatorial constrained problems☆66Updated last week
- The MiniZinc compiler☆539Updated 3 weeks ago
- Nutmeg – a MIP and CP branch-and-check solver☆24Updated last year
- Access to all MiniZinc functionality directly from Python☆157Updated last month
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- XCSP3 Core Parser in C++☆19Updated 10 months ago
- Generic Constraint Development Environment☆287Updated 8 months ago
- Constraint Solver ACE☆29Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated this week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆251Updated last week
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆51Updated 2 weeks ago
- A standalone local search solver for general mixed integer programming☆21Updated 3 weeks ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- A curated list of awesome OR-Tools community resources.☆166Updated 5 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- Branch-Cut-Price Framework☆28Updated 4 years ago
- ☆14Updated 2 months ago
- Fork of the Concorde TSP solver with an easier build procedure☆13Updated last year
- XCSP3 Tools in Java☆22Updated last month