MiniZinc in Spoofax This repository contains a Spoofax language definition of MiniZinc, a free and open-source constraint modeling language. References https://www.minizinc.org/doc-2.3.2/en/spec.html