| Port details |
- eprover Theorem prover for full first-order logic with equality
- 2.6_2 math
 =2      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
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.6_2
12 Mar 2024 12:04:28
 |
Nuno Teixeira (eduardo) |
math/eprover: Move man pages to share/man
Approved by: portmgr (blanket) |
2.6_1
22 Aug 2023 07:14:14
|
Yuri Victorovich (yuri) |
math/eprover: Improve PORTSCOUT |
2.6_1
24 Jul 2023 08:59:31
|
Yuri Victorovich (yuri) |
math/eprover: Add PORTSCOUT line |
2.6_1
23 Jul 2023 02:23:43
|
Yuri Victorovich (yuri) |
math/eprover: Update 2.0 → 2.6 |
2.0_1
22 Jul 2023 18:05:56
|
Yuri Victorovich (yuri) |
math/eprover: Take maintainership |
2.0_1
09 Oct 2022 11:56:28
|
Fernando Apesteguía (fernape) |
*/*: Release ports from maintainership
Maintainer releases all his ports.
PR: 266871
Reported by: unrelentingtech <greg@unrelenting.technology> |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.0_1
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
2.0_1
07 Apr 2021 08:09:01
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
2.0_1
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.0_1
02 Nov 2018 13:32:35
 |
rene |
Remove compatibility code for FreeBSD < 11.2 from all ports.
Simplify some ports where DragonFlyBSD no longer needs to be special-cased.
Submitted by: rene
Reviewed by: bapt, jbeich
Differential Revision: https://reviews.freebsd.org/D17724 |
2.0_1
12 Sep 2018 16:01:03
|
brooks |
Update llvm dependency (for 10.x support) to llvm60.
PR: 231289
Approved by: Greg V <greg@unrelenting.technology> (maintainer)
Sponsored by: DARPA, AFRL |
2.0
19 Nov 2017 21:59:32
|
yuri |
New port: math/eprover : Theorem prover for full first-order logic with equality
PR: 211903
Submitted by: Greg V <greg@unrelenting.technology>
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D13150 |
As an Amazon Associate I earn from qualifying purchases.