/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.