Release 0.5 has been extensivly tested over the TPTP, and it has successfully participated in the CASC-16 competition. It should be reasonable bug free.
E is an equational theorem prover.
CLIB is a collection of library functions for building one class of interesting and cool programs. At the moment CLIB is more suited for theorem provers and similar programs, and less useful for games. Lower levels take care of the scientifically uninteresting, but necessary services for production-quality efficient programs, e.g. error handling, memory management, parsing of input, etc. Higher level modules implement shared and unshared terms, equations, clauses and related stuff. My aim in writing this library is to ease the development of E and a couple of auxiliary programs.