arithmetic_ring.fzn 13.6 KB