conversion_2_greedy.mzn 47 KB