Bug#179556: ITP: eqp -- A theorem prover for equational logic
Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist
* Package name : eqp
Version : 09d
Upstream Author : Automated Reasoning Group at Argonne National
Laboratory <mccune@mcs.anl.gov>
* URL : http://www-unix.mcs.anl.gov/AR/eqp/
* License : available without restrictions
Description : A theorem prover for equational logic
EQP is an automated theorem prover for equational logic developed at
Argonne National Laboratory.
.
It has associative-commutative (AC) unification and matching, basic
paramodulation and several other strategies.
.
It seems to work well on many theorems about lattice-like structures
and proved the Robbins conjecture.
-- 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: