antisymmetric.fzn 2.42 KB