conversion_0.mzn 4.98 KB