https://www.minizinc.org/