Project for the "Constraint Programming" Course @ University of Parma

A Homebrew Tap for MiniZinc solvers

Практические и домашние задания по конфигурационному управлению МИРЭА

MiniZinc playground using WebAssembly

Use MiniZinc in the browser or with NodeJS

MinPol: Optimizador de Polarización Social

Access to all MiniZinc functionality directly from Python

A Julia interface to the MiniZinc constraint modeling language

MiniZinc and MiniCPU

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

A MiniZinc Model describing a class timetabling problem for a university, with a basic User Interface written with C and GTK4.

MiniZinc model created for the CPP course @ UPC

MiniZinc ↔ .NET

My public programs and models - mostly combinatorial problems and puzzles

A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

Website to generate CSGO teams based on ranks

The RecipeRadar planner provides suggested meal plans when provided with a kitchen inventory and dietary constraints

Problem #345 - Matrix Sum

Yuck is a local-search constraint solver with FlatZinc interface

Parser for the FlatZinc modeling language in Go