MiniZinc / minizinc-pythonLinks
Access to all MiniZinc functionality directly from Python
☆178Updated 3 weeks ago
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☆156Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆300Updated this week
- A Python Library for modeling combinatorial constrained problems☆74Updated last week
- The MiniZinc compiler☆617Updated last week
- A benchmark library for constraints☆97Updated 2 months ago
- The Chuffed CP solver☆111Updated last month
- A suite of MiniZinc benchmarks.☆86Updated 5 years ago
- OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.☆297Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆28Updated last month
- An open-source course on constraint solving☆24Updated 3 months ago
- Logic Programming in Python☆31Updated 4 years ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆30Updated 2 years ago
- A curated list of awesome OR-Tools community resources.☆179Updated 11 months ago
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆574Updated last month
- ☆32Updated last year
- Python API for AMPL☆81Updated 2 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆389Updated last month
- A toolkit for SAT-based prototyping in Python☆433Updated last week
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆222Updated last month
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆66Updated 4 years ago
- Generic Constraint Development Environment☆312Updated 4 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆28Updated 2 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Examples and Models.☆18Updated 4 years ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆50Updated last month
- Constraint Solving Problem resolver for Python☆487Updated 2 months ago
- ☆15Updated last week
- Iterated Racing for Automatic Algorithm Configuration☆66Updated last week
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆581Updated this week