From f1bf1ee22b23fad7a2d936d65541f48adfc3b2da Mon Sep 17 00:00:00 2001 From: Libor Wagner Date: Thu, 6 Oct 2011 21:56:15 +0200 Subject: The E Theorem Prover 1.4 "E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms." [http://www4.informatik.tu-muenchen.de/~schulz/E/E.html] Signed-off-by: Adam Vandenberg --- Library/Formula/eprover.rb | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 Library/Formula/eprover.rb (limited to 'Library/Formula') diff --git a/Library/Formula/eprover.rb b/Library/Formula/eprover.rb new file mode 100644 index 000000000..5601f8dcf --- /dev/null +++ b/Library/Formula/eprover.rb @@ -0,0 +1,17 @@ +require 'formula' + +class Eprover < Formula + homepage 'http://www4.informatik.tu-muenchen.de/~schulz/E/E.html' + url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz' + version '1.4' + md5 '4da7b0c06dddd96ce8ffeb77462d7f77' + + def install + system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}" + system "make install" + end + + def test + system "#{bin}/eproof" + end +end -- cgit v1.2.3