Access to all MiniZinc functionality directly from Python
A Python wrapper for the MiniZinc tool pipeline.
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
Python library for declarative, constrained, structured-output prediction.
efficient Game of Life in Python
A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimizing for cyclic schedules.
Express constraint programming problem with python and solve it with minizinc
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
codes of my IUT course
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
Adding Machine Learning capabilities to MiniZinc
Solving quadratic assignment problem using iterated local search, improved hybrid genetic algorithm, tabu search, and constraint solving.
Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
Given a simple VLSI (Very Large Scale Integration), use Constraint Programming, SAT and SMT solver, to provide the solution with the minimum height of the silicon chip
Dynamic portfolio optimization with Python + MiniZinc forecasts, risk/return analysis, and constraint‑programmed allocation across crypto, gold & bonds.
This project, also known as the Vehicle Routing Problem (VRP), addresses the Multiple Couriers Planning (MCP) problem using Constraint Programming (CP), Satisfiability Modulo Theories (SMT), and Mixed-Integer Linear Programming (MIP) to optimize courier routes efficiently.
Практические и домашние задания по конфигурационному управлению МИРЭА
Add a description, image, and links to the minizinc topic page so that developers can more easily learn about it.
To associate your repository with the minizinc topic, visit your repo's landing page and select "manage topics."