My public programs and models - mostly combinatorial problems and puzzles

• UpdatedDec 25, 2024
• JavaScript

Access to all MiniZinc functionality directly from Python

• UpdatedFeb 25, 2025
• Python

Yuck is a local-search constraint solver with FlatZinc interface

• UpdatedJul 24, 2024
• Scala

A Python wrapper for the MiniZinc tool pipeline.

• UpdatedFeb 18, 2022
• Python

Erlang/Elixir interface to MiniZinc.

• UpdatedNov 17, 2023
• Elixir

Use MiniZinc in the browser or with NodeJS

• UpdatedMar 10, 2025
• JavaScript

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

• UpdatedOct 16, 2023
• Python

A Julia interface to the MiniZinc constraint modeling language

• UpdatedFeb 15, 2025
• Julia

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

• UpdatedMay 23, 2023
• Jupyter Notebook

solverl+LiveView examples

• UpdatedSep 30, 2022
• Elixir

JMiniZinc

• UpdatedOct 13, 2020
• Java

efficient Game of Life in Python

• UpdatedJul 1, 2022
• Python

Jetisu is a toolset for modelling with sigma complete relations.

• UpdatedNov 5, 2023
• Jupyter Notebook

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.

• UpdatedJul 6, 2021
• Python

MiniZinc playground using WebAssembly

• UpdatedMar 10, 2025
• Svelte

Express constraint programming problem with python and solve it with minizinc

• UpdatedDec 23, 2024
• Python

codes of my IUT course

• UpdatedFeb 28, 2021
• Python

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

• UpdatedDec 20, 2022

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

• UpdatedApr 1, 2024
• Python

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

• UpdatedMar 20, 2025
• Rust