Technische Universität München,
Fakultät für Informatik
Lehrstuhl Informatik IV,
Research Group Automated Reasoning
The E Equational Theorem Prover Archive
If you are interested in the evolution of E, here is a complete
archive of all officially published versions. If you are looking for a
good theorem prover to actually do work with, please consider the
download section of the
E home page, which has the
latest released version.
I am not interested in bug reports for old versions of E
unless the bug persists in the latest release version.
As for the main distribution, old versions of E are only available as
source distributions for various versions of UNIX. For the
installation requirements check the main page.
E is free
software and is available under the
GNU GENERAL PUBLIC LICENSE (most official html
version).
- E 0.2 (1998-08-10):
- E 0.21 (1998-08-24):
- E 0.22 Risheehat (1998-10-09):
- E 0.23 StopGap (1998-11-02):
Version 0.22 contained a serious bug (in literal comparison) and a
serious misfeature (no overlapping with maximal sides that
are just variables) which made the prover highly incomplete for the non-unit
case. This unplanned release fixes them. The source is not quite as
clean as it should be...
- E 0.24 Yunnan (1998-12-04):
This is a cleaned up version of release 0.23 that fixes one more bug
and is the last release that will be available before some serious
changes happen.
- The README file.
- Whats new compared to
version 0.23.
- E 0.3 Castleton (1999-01-20):
Version 0.3 finally has a new and very flexible interface for the
specification of search control heuristics. It also has an
automatic mode that makes it easy to get decent results for
inexperienced users.
- E 0.31 Jungpana (1999-04-02):
Version 0.31 fixes some minor bugs. It also is faster than previous
versions and has an improved automatic mode.
- The README file.
- Whats new compared to
version 0.30.
- The source distribution (~590 kb,
bugfixed 02-04-99).
- A slightly modified version (improved heuristics selection for
Horn problems), E 0.31a, has been used to
obtain the results presented in [Sch99] (~638 KB).
- E 0.32 Lingia (1999-06-15):
Version 0.32 is again faster than previous versions, has an improved
automatic mode and adds literal selection functions.
- E 0.5 Phuguri (1999-07-12):
Version 0.5 is the version that participated in the CASC-16 ATP
System Competition.
- E 0.51 Mim (1999-09-21):
Version 0.51 fixes a serious bug in the preceding version,
adds new
literal selection functions and a better auto mode. It's not quite
as clean as it could be, as I am in the process of adding learning
search heuristics to it.
- E 0.6 Kanchanjangha (2000-07-05):
E 0.6 is the release version of the prover that won the MIX category
of the CASC-17 competition in 2000. It is faster, has more
predefined literal selection functions, and adds a proof checker
to the distribution.
- E 0.61 North_Tukvar (2001-04-17):
- E 0.62 Mullotar (2001-06-28):
-
E 0.63 Nuwara Eliya (2002-03-27):
-
E 0.7 Dhajea (2002-08-08) (fixed cleanup bug 2002-08-10):
This version introduces the new, much simpler and faster
nondestructive cached rewriting engine.
-
E 0.71 Puttabong (2002-06-13):
-
E 0.8 Steinthal (2003-08-01):
This is the first version using feature vector indexing for subsumption.
-
E 0.81 Tumsong (2004-02-03 -- fixes TSTP output
again):
This version introduced TSTP output.
-
E 0.82 Lung Ching (2004-07-08):
-
E 0.9 Soom (2005-08-02):
-
E 0.91 Kanyam (2006-01-07)
-
E 0.99 Singtom (2006-10-27)
-
E 0.999 Longview (2007-09-18)
-
E 0.999-006 Longview2
(2008-02-10 - fixes minor TPTP-3 output bug)
-
E 1.0 Temi
(2008-10-22)
-
E 1.0-004 Temi
(2009-02-15)
- The
README file.
- What's new compared to
version 0.999/1.0.
- The source
distribution (~1380 kb)
- Note that the latest users guide (PDF version) might be more complete than
the version delivered with the distribution.
- Konstantine
Arkoudas host a pre-built windows binary of E 1.0. To use it,
download both files
from his E
download page and place them in the same directory. I don't
run Windows, so I cannot offer any support specific to the
Windows version. Get a real OS ;-)
-
E 1.1 Balasun
(2009-08-27 — fixed minor bug in Auto-memory limit)
- The
README file.
- What's new compared to
version 1.0.
- The source
distribution (~1480 kb)
- Note that the latest users guide
(PDF version) might be more complete
than the version delivered with the distribution.
- Konstantine
Arkoudas host a pre-built windows binary of E 1.0. To use it,
download both files
from his E
download page and place them in the same directory. I don't
run Windows, so I cannot offer any support specific to the
Windows version. Get a real OS ;-)
-
E 1.1-001 Balasun
(2009-10-04 — fixed lock-ups in signal handling)
- The
README file.
- What's new compared to
version 1.0.
- The source
distribution (~1480 kb)
- Note that the latest users guide
(PDF version) might be more complete
than the version delivered with the distribution.
- Konstantine
Arkoudas host a pre-built windows binary of E 1.0. To use it,
download both files
from his E
download page and place them in the same directory. I don't
run Windows, so I cannot offer any support specific to the
Windows version. Get a real OS ;-)
Stephan
Schulz,schulz@informatik.tu-muenchen.de, 16.1.2004