National High-Performance Software Exchange
Software Catalog
Back to the NHSE Software Catalog
Models And Counter-Examples (MACE)
- Abstract
- MACE (formerly called ANL-DP) is a program that can
be used to search for (small) finite models of first-order
statements.
- DateOfInformation
- Fri Feb 5 16:30:56 1999
- Domain
- Scientific and Engineering Applications
- Name
- Models And Counter-Examples (MACE)
- TargetEnvironment
- UNIX
- Webpage
- http://www.mcs.anl.gov/AR/mace/
- ContactIs
- William McCune
Meta Data URL from which this entry was created:
http://www.nhse.org/rib/repositories/nhse/objects/Asset/mace.html
nhse-tech@nhse.org