MiniZinc / minizinc.github.io
The website for the MiniZinc constraint modelling system
☆15Updated last week
Related projects: ⓘ
- A suite of MiniZinc benchmarks.☆82Updated 3 years ago
- A benchmark library for constraints☆81Updated last month
- small MiniZinc examples demonstrating various language features☆119Updated 7 years ago
- The MiniZinc IDE☆141Updated this week
- The CP solver Chuffed☆20Updated 7 years ago
- ☆66Updated 6 months ago
- A CP Portfolio Solver☆26Updated last year
- The Chuffed CP solver☆89Updated 3 weeks ago
- ☆31Updated 6 months ago
- Generic Constraint Development Environment☆274Updated 2 months ago
- JMiniZinc☆15Updated 3 years ago
- XCSP3 Core Parser in C++☆19Updated 3 months ago
- MiniZinc documentation☆16Updated last year
- The MiniZinc compiler☆498Updated this week
- Java Operations Research Library☆62Updated 4 years ago
- XCSP3 Tools in Java☆21Updated this week
- Access to all MiniZinc functionality directly from Python☆145Updated last month
- My public programs and models - mostly combinatorial problems and puzzles☆364Updated last month
- Yuck is a local-search constraint solver with FlatZinc interface☆55Updated last month
- Java interface for the SCIP Optimization Suite☆62Updated 5 months ago
- IPython / Jupyter notebook magic☆21Updated 6 years ago
- A Python Library for modeling combinatorial constrained problems☆60Updated last week
- Conjure: The Automated Constraint Modelling Tool☆96Updated 2 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆63Updated 3 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 2 years ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆116Updated 3 years ago
- A solver for mixed integer bilevel programs☆50Updated last week
- Cut Generator Library☆24Updated this week
- ☆25Updated this week
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆60Updated this week