conversion_0.mzn 7.58 KB