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


Examples on the relationships between various varieties of lattice.

mace2 -N5 -p < lt-ml.in > lt-ml.out

mace2 -N6 -p < lt-ol.in > lt-ol.out

mace2 -N10 -p < ml-mol.in > ml-mol.out

mace2 -N6 -p < mol-ba.in > mol-ba.out

mace2 -N10 -p < ol-e1.in > ol-e1.out

mace2 -N10 -p < ol-e4.in > ol-e4.out

mace2 -N6 -p < ol-oml.in > ol-oml.out

mace2 -n5 -N10 -p < oml-mol.in > oml-mol.out


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