minizinc-python
Here are 9 public repositories matching this topic...
Language:All
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
- Updated
Apr 2, 2025 - Python
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.
- 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.
- Updated
Jul 14, 2022 - Jupyter Notebook
Практические и домашние задания по конфигурационному управлению МИРЭА
- Updated
Nov 18, 2024 - Python
Very Large Scale Integration solved using Costraint Programming and Minizinc
- Updated
Oct 17, 2022 - Jupyter Notebook
Tool for the placement of green cells on the Bologna landscape using specifically designed combinatorial optimization techniques. To display our results check the link.
- Updated
Dec 8, 2025 - JavaScript
Combinatorial optimization project for the Multiple Couriers Problem (MCP).
- Updated
Feb 5, 2025 - Python
Improve this page
Add a description, image, and links to theminizinc-python topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theminizinc-python topic, visit your repo's landing page and select "manage topics."