add minizinc formula

MiniZinc is a medium-level constraint modelling language