MiniZinc / minizinc-pythonLinks
Access to all MiniZinc functionality directly from Python
☆161Updated last month
Alternatives and similar repositories for minizinc-python
Users that are interested in minizinc-python are comparing it to the libraries listed below
Sorting:
- The MiniZinc IDE☆149Updated 2 weeks ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆264Updated this week
- A Python Library for modeling combinatorial constrained problems☆68Updated 2 weeks ago
- Yuck is a local-search constraint solver with FlatZinc interface☆60Updated 11 months ago
- The Chuffed CP solver☆105Updated 2 months ago
- A benchmark library for constraints☆94Updated 8 months ago
- A curated list of awesome OR-Tools community resources.☆173Updated 8 months ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- Generic Constraint Development Environment☆290Updated last month
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆60Updated last week
- A standalone local search solver for general mixed integer programming☆23Updated 3 months ago
- ☆32Updated last year
- Examples and Models.☆18Updated 4 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆379Updated last month
- A toolkit for SAT-based prototyping in Python☆423Updated 3 weeks ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆128Updated 3 years ago
- XCSP3 Tools in Java☆22Updated last week
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆44Updated 2 weeks ago
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆503Updated this week
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆562Updated 6 months ago
- ☆15Updated last week
- OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.☆293Updated last year
- Constraint Solver ACE☆30Updated 2 weeks ago
- A cpmpy-based library for constraint acquisition.☆18Updated last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 7 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆45Updated last week
- COmpact SOlver for COnstrained problems☆12Updated 2 weeks ago
- A Modern Probabilistic Model Checker☆148Updated this week