conversion_2_greedy.mzn 29.5 KB