···

       
1
       
1
       
+
       
opam-version: "2.0"

     

       
2
       
2
       
+
       
maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"

     

       
3
       
3
       
+
       
authors: [ "Stephan Schulz" "Simon Cruanes" "Petar Vukmirovic" "Mohamed Bassem" "Martin Moehrmann" ]

     

       
4
       
4
       
+
       
homepage: "https://www.eprover.org"

     

       
5
       
5
       
+
       
license: ["LGPL-2.1-or-later OR GPL-2.0-or-later"]

     

       
6
       
6
       
+
       
dev-repo: "git+https://github.com/eprover/eprover.git"

     

       
7
       
7
       
+
       
bug-reports: "Stephan Schulz (see homepage for email)"

     

       
8
       
8
       
+
       
build: [

     

       
9
       
9
       
+
       
  [ "./configure" "--bindir=%{bin}%" ]

     

       
10
       
10
       
+
       
  [ make "-j" "%{jobs}%" ]

     

       
11
       
11
       
+
       
]

     

       
12
       
12
       
+
       
install: [

     

       
13
       
13
       
+
       
  [ make "install" ]

     

       
14
       
14
       
+
       
]

     

       
15
       
15
       
+
       
depends: [

     

       
16
       
16
       
+
       
  "conf-gcc"

     

       
17
       
17
       
+
       
]

     

       
18
       
18
       
+
       
synopsis: "E Theorem Prover"

     

       
19
       
19
       
+
       
description: "E is a theorem prover for first-order and higher-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, in clausal or full first-order/higher-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms."

     

       
20
       
20
       
+
       
url {

     

       
21
       
21
       
+
       
  # Note: the main author prefers this download link over the also available github tag tarball download and expects that the link is stable over time

     

       
22
       
22
       
+
       
  src: "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz"

     

       
23
       
23
       
+
       
  checksum: "sha512=4258d9fbd8d32346f5c24dbf0475c98c8e325aa0dc75dacaacd0096357ced8dde4456b88b0d7094a42d317482b6fec46955a1574b0984098386703772f698459"

     

       
24
       
24
       
+
       
}