or_matching2.fzn 30.6 KB