BSD Portsmath/eprover 2.6_2 DragonFly
Theorem prover for full first-order logic with equality
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv2+, LGPL20+
- Categories
- math
- Package size
- 819.6 KiB, 10129.3 KiB installed
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.
In the other systems
The newest version among them is 2.6, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | math/eprover | 2.6_2 newest | none known | - | [email protected] | - |
| FreeBSD | math/eprover | 2.6_2 newest | none known | - | [email protected] | - |
| HardenedBSD | math/eprover | 2.6_2 newest | no data | - | [email protected] | - |
| GhostBSD | math/eprover | 2.6_2 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install eproverFrom DPorts:
cd /usr/dports/math/eprover && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Run dependencies 1
No port depends on this one.