diff options
| author | Libor Wagner | 2011-10-06 21:56:15 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2012-03-10 13:57:21 -0800 |
| commit | f1bf1ee22b23fad7a2d936d65541f48adfc3b2da (patch) | |
| tree | dc739335167343606011b43cc0bb229e2bb66eca /Library | |
| parent | dbfc5a9326bae9e5c07e541e245d01bc77832708 (diff) | |
| download | homebrew-f1bf1ee22b23fad7a2d936d65541f48adfc3b2da.tar.bz2 | |
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 <flangy@gmail.com>
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/eprover.rb | 17 |
1 files changed, 17 insertions, 0 deletions
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 |