zebra_inverse.fzn 26.7 KB