My public programs and models - mostly combinatorial problems and puzzles

Access to all MiniZinc functionality directly from Python

Yuck is a local-search constraint solver with FlatZinc interface

A Python wrapper for the MiniZinc tool pipeline.

Erlang/Elixir interface to MiniZinc.

Use MiniZinc in the browser or with NodeJS

Python library for declarative, constrained, structured-output prediction.

A Julia interface to the MiniZinc constraint modeling language

Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc

solverl+LiveView examples

JMiniZinc

efficient Game of Life in Python

Jetisu is a toolset for modelling with sigma complete relations.

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.

MiniZinc playground using WebAssembly

My codes of models in MiniZinc (constraint programming). Every folder has an own README-file with a detailed explanation.

Express constraint programming problem with python and solve it with minizinc

codes of my IUT course

Create pure Minizinc .mzn files from Python using python-minizinc-maker library.

MiniZinc ↔ .NET