E Equational Theorem Prover E is a a purely equational theorem prover for clausal logic. That means it is a program that you can stuff a mathematical specification (in clausal logic with equality) and a hypothesis into, and which will then run forever, using up all of your machines resources.

Current Version:   0.61 License Type:   GPL

Home Site: http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   ?? Targeted Platforms: UNIX (including Linux) Software/Hardware Requirements: ANSI C Compiler

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence