this repo has no description
Merge pull request #24980 from MSoegtropIMC/eprover.3.0
Add new version 3.0 for the E-prover automatic theorem prover
authored by
Marcello Seri
and committed by
GitHub
f508eabd
50b2753b
+24
+24
packages/eprover/eprover.3.0/opam
+24
packages/eprover/eprover.3.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
3
+
authors: [ "Stephan Schulz" "Simon Cruanes" "Petar Vukmirovic" "Mohamed Bassem" "Martin Moehrmann" ]
4
+
homepage: "https://www.eprover.org"
5
+
license: ["LGPL-2.1-or-later OR GPL-2.0-or-later"]
6
+
dev-repo: "git+https://github.com/eprover/eprover.git"
7
+
bug-reports: "Stephan Schulz (see homepage for email)"
8
+
build: [
9
+
[ "./configure" "--bindir=%{bin}%" ]
10
+
[ make "-j" "%{jobs}%" ]
11
+
]
12
+
install: [
13
+
[ make "install" ]
14
+
]
15
+
depends: [
16
+
"conf-gcc"
17
+
]
18
+
synopsis: "E Theorem Prover"
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
+
url {
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
+
src: "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/E.tgz"
23
+
checksum: "sha512=a4d90080c400579beb0a1b43ffbcb6d9b1435abb72807b1a51acd6311f975f37204368bdfee1a1c15ea46111cbe7497f9b25a5bf2eed6032b8d47e29455c31e3"
24
+
}