quasiGroup3Idempotent.fzn 6.09 KB