Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
-
Updated
Apr 2, 2025 - Python
#
minizinc-python
Here are 9 public repositories matching this topic...
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
-
Updated
May 7, 2025 - Python
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
python3 satisfiability-modulo-theories constraint-programming minizinc cvrp mixed-integer-programming z3-smt-solver gurobipy minizinc-python
-
Updated
Sep 13, 2022 - Python
A MiniZinc solver for Miracle Sudoku, a Sudoku variant with additional constraints, and a Miracle Sudoku generator.
-
Updated
Aug 21, 2022 - Python
The strip packing problem is a 2-dimensional geometric minimization problem. Given a set of axis-aligned rectangles and a strip of bounded width and infinite height, determine an overlapping-free packing of the rectangles into the strip minimizing its height.
optimization linear-programming z3 optimization-algorithms minizinc lp z3-smt-solver minizinc-python
-
Updated
Jul 14, 2022 - Jupyter Notebook
Very Large Scale Integration solved using Costraint Programming and Minizinc
-
Updated
Oct 17, 2022 - Jupyter Notebook
Практические и домашние задания по конфигурационному управлению МИРЭА
-
Updated
Nov 18, 2024 - Python
Combinatorial optimization project for the Multiple Couriers Problem (MCP).
milp satisfiability-modulo-theories constraint-programming sat-solver smt cp sat minizinc mixed-integer-programming constraint-optimisation-problem minizinc-python milp-optimisation
-
Updated
Feb 5, 2025 - Python
Tool for the placement of green cells on the Bologna landscape using specifically designed combinatorial optimization techniques. To display our results check the link.
documentation gui optimization gui-application green equity optimization-algorithms fairness minizinc bologna urban-heat-islands minizinc-python ndvi-index mip-solver ethics-in-ai highs greencell
-
Updated
Sep 15, 2025 - JavaScript
Improve this page
Add a description, image, and links to the minizinc-python topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minizinc-python topic, visit your repo's landing page and select "manage topics."