Access to all MiniZinc functionality directly from Python
☆201Dec 15, 2025Updated 2 months 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 compiler☆666Updated this week
- The MiniZinc IDE☆168Updated this week
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- Generic Constraint Development Environment☆319Updated this week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆334Updated this week
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- Use MiniZinc in the browser or with NodeJS☆52Jan 28, 2026Updated last month
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆28Feb 10, 2026Updated 2 weeks ago
- ☆32Feb 22, 2024Updated 2 years ago
- A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.☆54Feb 21, 2025Updated last year
- A Python Library for modeling combinatorial constrained problems☆81Feb 3, 2026Updated 3 weeks ago
- Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs☆586Feb 15, 2026Updated last week
- The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver☆678Jan 29, 2026Updated last month
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆398Nov 27, 2025Updated 3 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 3 years ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆22Sep 23, 2025Updated 5 months ago
- A standalone local search solver for general mixed integer programming☆46Feb 12, 2026Updated 2 weeks ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- Code and results relating the paper "A compact reformulation of the two-stage robust RCPSP" published in Computers & Operations Research,…☆12Nov 12, 2020Updated 5 years ago
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 10 years ago
- ☆11Sep 21, 2025Updated 5 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆30Feb 19, 2026Updated last week
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated last week
- Replacing standard support propagation by belief propagation in MiniCP☆15Feb 18, 2026Updated last week
- ☆12Mar 18, 2022Updated 3 years ago
- A Python sampling profiler for AWS Lambda functions (and not only).☆11Mar 17, 2022Updated 3 years ago
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- An open-source Java library for Constraint Programming☆753Feb 11, 2026Updated 2 weeks ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- mixed integer semidefinite programming plugin for SCIP☆16Nov 12, 2025Updated 3 months ago
- A constraint programming solver with support for proof logging☆17Feb 20, 2026Updated last week
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 5 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 9 months ago