MiniZinc / minizinc-python
Access to all MiniZinc functionality directly from Python
☆156Updated 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
- The MiniZinc IDE☆148Updated last week
- A Python Library for modeling combinatorial constrained problems☆66Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆248Updated this week
- The MiniZinc compiler☆536Updated last week
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 7 months ago
- The Chuffed CP solver☆102Updated 3 months ago
- A curated list of awesome OR-Tools community resources.☆165Updated 4 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆49Updated this week
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- A benchmark library for constraints☆88Updated 5 months ago
- COmpact SOlver for COnstrained problems☆12Updated this week
- Examples and Models.☆18Updated 4 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆34Updated last week
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- ☆31Updated last year
- A CP Portfolio Solver☆26Updated last year
- ☆14Updated last month
- A standalone local search solver for general mixed integer programming☆21Updated 2 weeks ago
- Visualizations of Mittelmann benchmarks☆57Updated 6 months ago
- Iterated Racing for Automatic Algorithm Configuration☆63Updated last month
- Python interface and modeling environment for GCG☆19Updated last month
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆553Updated 3 months ago
- NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains☆1Updated 2 weeks ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆15Updated 6 months ago
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆439Updated 3 weeks ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆29Updated last year
- The CP solver Chuffed☆20Updated 8 years ago
- Branch-and-Price-and-Cut in Julia☆198Updated 2 months ago
- Parallel Presolve for Integer and Linear Optimization☆70Updated 3 weeks ago
- My public programs and models - mostly combinatorial problems and puzzles☆375Updated 2 months ago