MiniZinc / minizinc-pythonLinks
Access to all MiniZinc functionality directly from Python
☆177Updated this week
Alternatives and similar repositories for minizinc-python
Users that are interested in minizinc-python are comparing it to the libraries listed below
Sorting:
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆290Updated this week
- The MiniZinc IDE☆155Updated this week
- A Python Library for modeling combinatorial constrained problems☆73Updated last week
- The MiniZinc compiler☆612Updated this week
- A benchmark library for constraints☆97Updated last month
- A curated list of awesome OR-Tools community resources.☆177Updated 10 months ago
- OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.☆297Updated last year
- A suite of MiniZinc benchmarks.☆86Updated 4 years ago
- An open-source course on constraint solving☆24Updated 2 months ago
- The Chuffed CP solver☆110Updated last month
- ☆32Updated last year
- Generic Constraint Development Environment☆311Updated 4 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆572Updated 3 weeks ago
- A toolkit for SAT-based prototyping in Python☆431Updated 3 weeks ago
- My public programs and models - mostly combinatorial problems and puzzles☆387Updated 3 weeks ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 2 months ago
- A standalone local search solver for general mixed integer programming☆25Updated 2 weeks ago
- Constraint Solving Problem resolver for Python☆483Updated last month
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆569Updated this week
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆49Updated 3 weeks ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆66Updated this week
- ☆15Updated 2 weeks ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆30Updated 2 years ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆23Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated 2 months ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆130Updated 4 years ago
- Examples and Models.☆18Updated 4 years ago
- A collection of problem specifications in Essence.☆10Updated 4 months ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆65Updated 4 years ago