NHSE Software Catalog

Models And Counter-Examples (MACE)

url

ftp://info.mcs.anl.gov/pub/Otter/MACE-1.0.0.tar.Z

abstract

MACE (formerly called ANL-DP) is a program that can be used to search
for (small) finite models of first-order statements.

description

http://www.mcs.anl.gov/home/mccune/ar/mace/index.html

contact

William McCune / mccune@mcs.anl.gov

keywords

first order logic

reference

http://www.mcs.anl.gov/home/mccune/ar/mace/anldp.ps.Z