/nfs/mcs-homes62/mccune/otter-3.2/source/mace/examples
- basic
.
Examples for a fixed domain size.
- big
.
Here are some big examples, too big to be quickly run as tests.
- 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.