Download Archive

 

Versions of E older than E 1.2 are available from the old archive page.

Old archive

E 1.2 Badamtam is the latest release of E. It provides a number of significant performance improvements.


    1. The README file.

    2. What's new compared to version 1.1.

    3. The source distribution (~1184 kb)

    4. Jasmin Blanchette provides a package with pre-build binaries of E 1.2 for Mac (ppc, x86, x86_64), Linux (x86, x86_64) and Windows (x86) (~4MB). I don't run Windows, so I cannot offer any support specific to the Windows version. Get a real OS ;-)

E 1.2 Badamtam (2010-09-24)

See the main download page for the current release!

E 1.3 Ringtong is the latest release of E. It features an improved automatic mode, adds answer substitution output, and other minor improvements.


    1. The README file.

    2. What's new compared to version 1.2.

    3. The (draft) manual.

    4. The source distribution (~1600 kb).

    5. Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

E 1.3 Ringtong (2011-06-27)

E 1.4 Namring is the latest release of E. It features an improved automatic mode, some more heuristic changes, fixing of minor bugs, and general cleanup.


    1. The README file.

    2. What's new compared to version 1.3.

    3. The (draft) manual.

    4. The source distribution (~1600 kb).

    5. E is available via  fink install eprover for MacOS-X 10.7.

    6. Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

E 1.4 Namring (2011-08-20)

E 1.5 Pussimbing is the latest release of E. It features significant speedups in the inference engine (in particular superposition and subsumption), fixes various minor bugs, and has an updated automatic mode.


    1. The README file.

    2. What's new compared to version 1.4.

    3. The (draft) manual.

    4. The source distribution (~1649 kb).

    5. Various people kindly repackage E - I’ll link to these downloads if and when they become available.

    6. -Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

E 1.5 Pussimbing (2012-05-05)

E 1.6 Tiger Hill is the latest release of E. It integrates SInE-like preprocessing for large specifications, various minor performance improvements, and has an updated and simplified automatic mode.


    1. The README file.

    2. What's new compared to version 1.5.

    3. The (draft) manual.

    4. The source distribution (~1627 kb).

    5. Various people kindly repackage E - I’ll link to these downloads if and when they become available.

    6. -Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

    7. -Package for Archlinux (provided by Vojtěch Aschenbrenner)

E 1.6 Tiger Hill (2012-07-10)

E 1.7 Jun Chiabari is the latest release of E. It integrates condensing, various minor performance improvements, an updated automatic mode and comes with a normalizer and interactive query support via the LTB batch runner.


    1. The README file.

    2. What's new compared to version 1.7.

    3. The (draft) manual.

    4. The source distribution (~1864 kb).

E 1.7 Jun Chiabari (2013-03-24)

E 1.8 Gopaldhara is the latest release of E. The main user-visible changes are internal (and low-overhead) proof object generation and an alternative automatic mode with strategy scheduling.


    1. The README file.

    2. What's new compared to version 1.7.

    3. The (draft) manual.

    4. The source distribution (~1832 kb).

E 1.8 Gopaldhara (2013-07-29)

E 1.9 Sourenee is the latest release of E. The main user-visible changes are better automatic modes and slightly more compact proof objects, now also available for clausification and in Graphviz format for easy visualisation.


    1. The README file.

    2. What's new compared to version 1.8.

    3. The (draft) manual.

    4. The source distribution (~2144 kb).

E 1.9 Sourenee (2015-07-14)

E 1.9.1 Sungma is the latest release of E. The main user-visible changes are automatic format detection, improved automatic modes, very much improved support for using the watchlist to provide hints, and a bug-fix in clausification.


    1. The README file.

    2. What's new compared to version 1.9.

    3. The (draft) manual.

    4. The source distribution (~1958 kb).

E 1.9.1 Sungma (2016-08-31)