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

- basic . Examples for a fixed domain size.
- iterate . Examples that iterate through domain sizes.
- lattice . Examples on the relationships between various varieties of lattice.
- propositional . Propositional examples for anldp.
- quasigroup . Quasigroup problems from Frank Bennett.

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