Automated Reasoning, by Larry Wos, Ph.D.

Home PagebulletAbout Automated Reasoning bulletNotebooks  

Here are the Otter 3.3 packages (including Mace 2.2) for Unix-like
and 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)

Larry Wos, Ph.D. All rights reserved.
graphical design - binary