MiniZinc, constraint modelling language solve discrete optimisation problems