[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

Reply to: