E can solve about 2150 of the problems with a 300 seconds time limit. For a 2000 seconds time limit this increases to 2180 solutions. Somebody managed to install E under FreeBSD 2.2.6 with some tweaking of the linking stage. These tools are usually already installed on or at least available for most UNIX-like systems. If you have any trouble, please tell me.
Older versions are now available from a separate archive page .
Whats new compared to version 0.51. Note that the latest users guide might be more complete than the version delivered with the distribution. 297-301, LNAI 1632, Springer.