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
- A benchmark library for constraints☆91Updated 6 months ago
- The Chuffed CP solver☆104Updated last week
- The MiniZinc IDE☆149Updated last month
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- The website for the MiniZinc constraint modelling system☆16Updated last month
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 3 months ago
- The MiniZinc compiler☆541Updated this week
- Access to all MiniZinc functionality directly from Python☆158Updated last month
- ☆32Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆59Updated 9 months ago
- Generic Constraint Development Environment☆288Updated 9 months ago
- A Python Library for modeling combinatorial constrained problems☆67Updated 2 weeks ago
- XCSP3 Core Parser in C++☆19Updated 10 months ago
- ☆67Updated last year
- Conjure: The Automated Constraint Modelling Tool☆104Updated 2 weeks ago
- XCSP3 Tools in Java☆22Updated 2 months ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- Constraint Solver ACE☆29Updated this week
- A collection of problem specifications in Essence.☆10Updated 11 months ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆128Updated 3 years ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated last year
- Java Operations Research Library☆68Updated 4 months ago
- minicp☆20Updated 2 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 3 weeks ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 3 years ago
- JMiniZinc☆16Updated 4 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago