The Otter 3.3 / Mace 2.2 version for Microsoft Windows is
packaged separately from the UNIX version.  The place from
which you obtained the UNIX version might also have the
Microsoft Windows version.

See the Otter Web page

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