Bug#516545: ITP: eprover -- The Equational Theorem Prover E

[Petr Pudlak <deb@pudlak.name>]

Package: wnpp
Severity: wishlist
Owner: Petr Pudlak <deb@pudlak.name>


* Package name    : eprover
  Version         : 1.0.004
  Upstream Author : Stephan Schulz <schulz@eprover.org>
* URL             : http://www.eprover.org/
* License         : GPL-2
  Programming Lang: C
  Description     : The Equational Theorem Prover E

E is an automated equational theorem prover. That means it is a program that
you can stuff a mathematical specification (in first-order logic with equality)
and a hypothesis into, and which will then run forever, using up all of your
machines resources. Very occasionally it will find a proof for the hypothesis
and tell you so ;-).

Release 1.0 is the culmination of a long development phase. Important changes
vs. version 0.999 include the fixing of some bugs in definitional
clausification for large problems and general cleanup.

(Copied from the original documentation.)

-- System Information:
Debian Release: 5.0
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'stable'), (150, 'unstable')
Architecture: i386 (i686)