Bug#179568: ITP: mace -- Search for countermodels in equational logic
Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist
* Package name : mace
Version : 2.0
Upstream Author : Automated Reasoning Group at Argone National
Laboratory <mccune@mcs.anl.gov>
* URL : http://www-unix.mcs.anl.gov/AR/mace/
* License : without restriction
Description : Search for countermodels in equational logic
MACE is a program that searches for finite models of first-order and
equational statements developed at Argonne National Laboratory.
.
This package includes ANLDP, which calls the propositional decision
procedure at the core of MACE directly.
.
MACE serves as a complementary companion to OTTER, which
searches for refutations of the same class of statement. In
particular, if you have a first-order conjecture, OTTER will search
for a proof, and MACE will search for a counterexample from the same
input file.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux leonov 2.4.18 #6 Sun Dec 29 08:30:49 CET 2002 i686
Locale: LANG=C, LC_CTYPE=
Reply to: