Port details on branch 2022Q3 |
- eprover Theorem prover for full first-order logic with equality
- 2.6_2 math =0 2.6_2Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2017-11-19 21:59:40
- Last Update: 2024-03-12 12:04:28
- Commit Hash: 0bbf829
- License: LGPL20+ GPLv2+
- WWW:
- https://www.eprover.org
- Description:
- A saturating 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/eprover/ && make install clean
- To add the package, run one of these commands:
- pkg install math/eprover
- pkg install eprover
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: eprover
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1690054815
SHA256 (eprover-eprover-E-2.6_GH0.tar.gz) = 401ecbe4e9abd1a89df47a74929ea970bbde5e863ad9f9f672b24434fa8259ca
SIZE (eprover-eprover-E-2.6_GH0.tar.gz) = 1709485
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- help2man : misc/help2man
- gmake>=4.4.1 : devel/gmake
- Runtime dependencies:
-
- bash : shells/bash
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_eprover
- USES:
- gmake shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|