circular_change.fzn 1.62 KB