conversion_2_greedy.mzn 42.6 KB