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)

Microsoft Windows

These packages require you to run Otter and Mace2 from a command line (Terminal in Mac, Command Prompt in Windows).