Otter 3.3 Theorem Prover
Mace 2.2 Finite Model Searcher
This directory contains the Otter 3.3 packages (including Mace 2.2)
for Unix-like and for Microsoft Windows operating systems.
Unix-like systems (including MacOS X)
These packages require you to run Otter and Mace2
from a command line (Terminal in Mac, Command Prompt in Windows).