Bug#179556: ITP: eqp -- A theorem prover for equational logic

[Antoine Mathys <Antoine.Mathys@unifr.ch>]

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=