Results for the 2025 MiniZinc Challenge have now been announced!

Modelling with Unit Types


Download the models used for evaluation here.

Try the (very early) prototype here.