add minizinc