[T3] ================================================ AMAST Links 02 07

                          Mace 1.2.0 Release

  I have just released MACE 1.2.0.  MACE (formerly called ANL-DP) is a
program that searches for small finite models of first-order
statements.  It can also test satisfiability of propositional
statements.  See the _MACE page_ for an introduction, at URL:
http://www.mcs.anl.gov/home/mccune/ar/mace

  To run this version of MACE, you need Otter 3.0.4, which parses
the input and does some translation.

  You can obtain MACE by anonymous ftp from URL:
ftp://info.mcs.anl.gov/pub/Otter/mace-1.2.0.tar.Z

  MACE is not available for DOS or Macintosh computers.

  Bill McCune