Otter 3.3 Theorem Prover
Mace 2.2 Finite Model Searcher
This page is part of the Otter 3.3 / Mace 2.2 distribution package.
For further information, see
The Official Web Pages
Documentation
Examples
The Distribution Package
Here it is:
Otter 3.3 / Mace 2.2 (August 2003).
The basic Otter 3.3 / Mace 2.2 package is for
UNIX-like operating systems.
Here is some information on installation.
William McCune
Mathematics and Computer Science Division
Argonne National Laboratory