quasigroup_completion_gcc.fzn 1.85 KB