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
Fetch the packages from the
Otter Web page.
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