        ------------------
        Otter, Version 3.3    Search for Proofs
        ------------------
        ------------------
        Mace,  Version 2.2    Search for Countermodels
        ------------------

(Also see index.html in this directory.)

----------------
OTTER HIGHLIGHTS
----------------

Over the years we've added many experimental features to Otter,
but the basic functions haven't changed much in the past
ten years.

The Otter package now includes Mace 2 (as a separate program).

----------------
Mace2 HIGHLIGHTS
----------------

Mace2 is now in independent program.  It no longer calls Otter
to parse the input.  It still accepts the same inputs as Otter.
Performance is sometimes better than in previous versions
(see mace2/README.22).

----------------
DOCUMENTS
----------------

The documents directory contains a (newly updated) Otter 3.3
manual and a Mace 2.0 manual.  See documents/README.

----------------
FETCHING
----------------

Download Otter 3.3 and Mace 2.2 from the Otter Web page:

  http://www.mcs.anl.gov/AR/otter/

----------------
INSTALLING AND TESTING (for unix-like systems)
----------------

Unpack the package with a command something like

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-3.3.tar.gve

  % gunzip -c otter-