Otter: An Automated Deduction SystemThis page is obsolete. Otter and Mace2 are now being maintained elsewhere. The current version of Otter (which includes Mace2) is 3.3f, released in August 2004. It is unlikely that there will be any further substantial development or maintenance of Otter or Mace2. Otter's successor is Prover9. Contents Description Computational Environment Availability Version 3.3 Documentation Example Inputs and
