/home/mccune/otter-3.3/examples-mace2/quasigroup


Quasigroup problems from Frank Bennett.

mace2 -n9 -p -x < omts9.in > omts9.out

mace2 -n7 -x -m1000 < qg1d.in > qg1d.out

mace2 -n7 -x -m1000 < qg2d.in > qg2d.out

mace2