Download

Downloading E

E is available as a source distribution. I have successfully compiled the prover out of the box under most UNIX versions I could lay hand on, including many versions of Solaris, Linux, MaxOS-X and FreeBSD. To install E, you will need at least tar, gunzip, make, gcc (or another ANSI C compiler), and a reasonable version of ar to build the prover. These tools are usually already installed on or at least available for most UNIX-like systems. E has also been compiled successfully under Windows/Cygwin. The E distribution is free software and is available under the GNU General Public License (currently 2.0).

Some people are kind enough to provide compiled or prepackaged versions of E. If I'm aware of such an offer, I link to it with the corresponding release. If there is no link to pre-build binaries below you may need to compile it yourself. This is easy on Linux and MacOS-X.

Homebrew has a brew formula for E on MacOS-X.

If you like to live on the edge, you can get E directly from the public GitHub repopository with e.g.

E 3.0.03 Shangri-La(2023-11-26)

E 3.0 Shangri-La is the latest release of E. The main changes compared to E 2.6 are support for full higher order logic and much improved multicore-scheduling. This release is the cleaned up and debugged version of both the 3.0 and 3.1 pre-release versions that performed well in CASC-J11 and CASC-29 (with some additional extra work). Release 3.0.03 fixes additional bugs in the higher-order part, as well as a significant performance bug in the automatic modes.

• The README file.
• What's new compared to version 2.6.
• The (draft) manual.
• The source distribution (~2304 kb)
• Various people kindly repackage E - I'll link to these downloads above if and when they become available.