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


Examples that iterate through domain sizes.

BOO032-1 : BOO032-1.in : BOO032-1.pIII950 :

CAT019-5 : CAT019-5.in : CAT019-5.pIII950 :

LAT025-1 : LAT025-1.in : LAT025-1.pIII950 :

LCL136-1 : LCL136-1.in : LCL136-1.pIII950 :

PUZ001-3 : PUZ001-3.in : PUZ001-3.pIII950 :

RNG025-8 : RNG025-8.in : RNG025-8.pIII950 :

cd : cd.in : cd.pIII950 :

kauer : kauer.in : kauer.pIII950 :

noncommutative_group : noncommutative_group.in : noncommutative_group.pIII950 :


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