investment_problem_mip.fzn 4 KB