Hi,
this seems like a nce target for Debian Science Mathematics
section. Petr, do you consider putting the package under
Debian Science team maintenance?
Kind regards
Andreas.
On Sun, 22 Feb 2009, Petr Pudlak wrote:
Package: wnpp
Severity: wishlist
Owner: Petr Pudlak <[email protected]>
* Package name : eprover
Version : 1.0.004
Upstream Author : Stephan Schulz <[email protected]>
* 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.)
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
