Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
-
Updated
Apr 1, 2024 - Python
#
minizinc-python
Here are 7 public repositories matching this topic...
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
-
Updated
Dec 9, 2024 - 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
Практические и домашние задания по конфигурационному управлению МИРЭА
-
Updated
Nov 18, 2024 - Python
Very Large Scale Integration solved using Costraint Programming and Minizinc
-
Updated
Oct 17, 2022 - Jupyter Notebook
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."