this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
3authors: [ "Stephan Schulz" "Simon Cruanes" "Petar Vukmirovic" "Mohamed Bassem" "Martin Moehrmann" ]
4homepage: "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html"
5license: ["LGPL-2.1-or-later" "GPL-2.0-or-later"]
6dev-repo: "git+https://github.com/eprover/eprover.git"
7bug-reports: "Stephan Schulz (see homepage for email)"
8build: [
9 [ "./configure" "--bindir=%{bin}%" ]
10 [ make "-j" "%{jobs}%" ]
11]
12install: [
13 [ make "install" ]
14]
15depends: [
16 "conf-gcc"
17]
18synopsis: "E Theorem Prover"
19description: "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."
20url {
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_2.6/E.tgz"
23 checksum: "sha512=20ba97779b81b215296215e6fb10db742c16684c6a38a4612ee2c28a72917aaea8f87daea4cd49557f5b47720c62cffd38445cf779e6690dd0f0924d26b37683"
24}