MiniZinc
by MiniZinc
latest/stable 2.10.0
Published 23 July 2026
