Quasigroup existence problems have been modelled using either m^2 variables each of domain size m (with v_ij=k iff i*j=k) or m^3 0-1 variables (with v_ijk=True iff i*j=k). I am unaware of any direct comparisons between these two approaches.