# 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

- Otter
- Mace 2

## Documentation

- The Otter 3.3 manual: PDF, PostScript.
- The Mace 2.0 manual: PDF, PostScript.

## Examples

- Browse the Otter 3.3 example problems.
- Browse the Mace 2 examples.

## The Distribution Package

Fetch the packages from the Otter Web page.

- README.txt
- README2.txt

William McCune
Mathematics and Computer Science Division
Argonne National Laboratory