% Mace4 produces 10944 quasigroups of order 5. If we % print_models_standard and run them through isofilter, % we get 1411 nonisomorphic quasigroups of order 5. assign(domain_size, 5). assign(max_models, -1). % This means that there is no limit clear(print_models). formulas(assumptions). % quasigroup axioms (equational) x * (x \ y) = y. x \ (x * y) = y. (x / y) * y = x. (x * y) / y = x. end_of_list.