E Equational Theorem Prover 0.99 "Singtom" released

E 0.999 "Longview" is the latest version of the successful theorem
prover for first order logic with equality.

E is a a purely equational theorem prover for full first order logic
with equality. It has successfully competed in several CASC
competitions and is generally considered a friendly and powerful
system (as theorem provers go).

The new version has several improvements of the internal inference
engine, bug fixes (especially to support tools that suffered from bit
rot), and updates to comply with the latest TPTP-3 syntax.

E is available as a source distribution for UNIX-variants. It installs
cleanly under all UNIX variants I could get my hands on: Various
versions of GNU/Linux for Intel and SPARC, Solaris, HPUX and
MacOS-X. Users have reported successful builds on a large number of
other systems, including Windows/Cygwin.

The system is distributed under the GNU General Public License.

You can find the source distribution and additional information at
http://www.eprover.org


Have fun!


Stephan

--
-------------------------- It can be done! ---------------------------------
Please email me as schulz@eprover.org (Stephan Schulz)
----------------------------------------------------------------------------
[ Auf dieses Posting antworten ]