quasigroup_completion_martin_lynce.fzn 2.29 KB