Problem submissions for the 2026 MiniZinc Challenge are currently open! See the call for problems for more information.

Modelling with Unit Types

Download the models used for evaluation here.

Try the (very early) prototype here.