MiniZinc
by MiniZinc
latest/stable 2.9.7
Published 30 April 2026
