MiniZinc / minizinc-python
Access to all MiniZinc functionality directly from Python
☆158Updated last month
Alternatives and similar repositories for minizinc-python:
Users that are interested in minizinc-python are comparing it to the libraries listed below
- The MiniZinc IDE☆149Updated last month
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆253Updated this week
- A Python Library for modeling combinatorial constrained problems☆66Updated last week
- The MiniZinc compiler☆542Updated last month
- Yuck is a local-search constraint solver with FlatZinc interface☆59Updated 8 months ago
- The Chuffed CP solver☆104Updated this week
- A curated list of awesome OR-Tools community resources.☆167Updated 5 months ago
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- minicp☆20Updated 2 months ago
- A benchmark library for constraints☆90Updated 6 months ago
- A standalone local search solver for general mixed integer programming☆21Updated last month
- ☆14Updated last week
- SCIP - Solving Constraint Integer Programs☆443Updated this week
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆56Updated last week
- ☆32Updated last year
- Generic Constraint Development Environment☆288Updated 9 months 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 2 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 3 months ago
- Parallel Presolve for Integer and Linear Optimization☆70Updated this week
- Explainable Constraint Solving - A Hands-On Tutorial☆15Updated last month
- Examples and Models.☆18Updated 4 years ago
- ☆20Updated 3 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated last year
- OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.☆289Updated last year
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆64Updated 3 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆41Updated this week
- Constraint Solver ACE☆29Updated last week
- A CP Portfolio Solver☆26Updated last year
- Python API for AMPL☆80Updated last week