Bug#516545: ITP: eprover -- The Equational Theorem Prover E
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)
Reply to: