MiniZinc: new models knapsack_problem.mzn nonlin2.mzn