MiniZinc / minizinc-pythonLinks
Access to all MiniZinc functionality directly from Python
☆182Updated 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:
- The MiniZinc IDE☆160Updated 3 weeks ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆302Updated this week
- A Python Library for modeling combinatorial constrained problems☆74Updated last week
- The MiniZinc compiler☆634Updated 3 weeks ago
- A suite of MiniZinc benchmarks.☆86Updated 5 years ago
- A curated list of awesome OR-Tools community resources.☆183Updated last year
- A benchmark library for constraints☆97Updated this week
- ☆32Updated last year
- OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.☆299Updated 2 years ago
- The Chuffed CP solver☆113Updated this week
- Python API for AMPL☆81Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆228Updated 2 months ago
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆577Updated 2 months ago
- Generic Constraint Development Environment☆313Updated 5 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆389Updated 2 months ago
- An open-source course on constraint solving☆24Updated last week
- Constraint Solving Problem resolver for Python☆490Updated 3 months ago
- Logic Programming in Python☆31Updated 4 years ago
- A standalone local search solver for general mixed integer programming☆28Updated 3 weeks ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 3 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆72Updated this week
- A toolkit for SAT-based prototyping in Python☆437Updated 2 weeks ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆595Updated 2 weeks ago
- Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆29Updated 2 years ago
- minicp☆27Updated 8 months ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆52Updated 2 months ago
- salabim - discrete event simulation☆361Updated 3 months ago
- A collection of problem specifications in Essence.☆10Updated 5 months ago