/nfs/mcs-homes62/mccune/otter-3.2/source/mace/examples/basic


Examples for a fixed domain size.

cd : cd.in : cd.pIII950 :

cl_ql : cl_ql.in : cl_ql.pIII950 :

cl_sw : cl_sw.in : cl_sw.pIII950 :

noncommutative_group : noncommutative_group.in : noncommutative_group.pIII950 :

ordered_semi : ordered_semi.in : ordered_semi.pIII950 :

ring : ring.in : ring.pIII950 :

tba : tba.in : tba.pIII950 :

tough-nut : tough-nut.in : tough-nut.pIII950 :


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.