Extensions of the Contraint modelling language MiniZinc