Otter 3.3 Theorem Prover
Mace 2.2 Finite Model Searcher
This version is for Microsoft Windows
For the (primary) UNIX versions, see the official Web pages
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.
William McCune
Mathematics and Computer Science Division
Argonne National Laboratory