notbugIf you buy from Amazon USA, please support us by using this link.
Port details
eprover Theorem prover for full first-order logic with equality
2.0_1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: search for ports maintained by this maintainer
Port Added: 2017-11-19 21:59:40
Last Update: 2018-11-02 13:32:35
SVN Revision: 483807
License: LGPL20+ GPLv2+
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.

SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (30 items)
  1. /usr/local/share/licenses/eprover-2.0_1/
  2. /usr/local/share/licenses/eprover-2.0_1/LICENSE
  3. /usr/local/share/licenses/eprover-2.0_1/LGPL20+
  4. /usr/local/share/licenses/eprover-2.0_1/GPLv2+
  5. bin/checkproof
  6. bin/e_axfilter
  7. bin/e_deduction_server
  8. bin/e_ltb_runner
  9. bin/eground
  10. bin/ekb_create
  11. bin/ekb_delete
  12. bin/ekb_ginsert
  13. bin/ekb_insert
  14. bin/epclextract
  15. bin/eproof
  16. bin/eproof_ram
  17. bin/eprover
  18. man/man1/checkproof.1.gz
  19. man/man1/e_axfilter.1.gz
  20. man/man1/e_deduction_server.1.gz
  21. man/man1/e_ltb_runner.1.gz
  22. man/man1/eground.1.gz
  23. man/man1/ekb_create.1.gz
  24. man/man1/ekb_delete.1.gz
  25. man/man1/ekb_ginsert.1.gz
  26. man/man1/ekb_insert.1.gz
  27. man/man1/epclextract.1.gz
  28. man/man1/eproof.1.gz
  29. man/man1/eproof_ram.1.gz
  30. man/man1/eprover.1.gz
  31. Collapse this list.

Dependency line: eprover>0:math/eprover

To install the port: cd /usr/ports/math/eprover/ && make install clean
To add the package: pkg install eprover

PKGNAME: eprover

There is no flavor information for this port.


TIMESTAMP = 1508690062
SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2
SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. bash : shells/bash
  2. help2man : misc/help2man
Runtime dependencies:
  1. bash : shells/bash
There are no ports dependent upon this port

Configuration Options
     No options to configure


Master Sites:

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
02 Nov 2018 13:32:35
Original commit files touched by this commit  2.0_1
rene search for other commits by this committer
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:
12 Sep 2018 16:01:03
Original commit files touched by this commit  2.0_1
brooks search for other commits by this committer
Update llvm dependency (for 10.x support) to llvm60.

PR:		231289
Approved by:	Greg V <> (maintainer)
Sponsored by:	DARPA, AFRL
19 Nov 2017 21:59:32
Original commit files touched by this commit  2.0
yuri search for other commits by this committer
New port: math/eprover : Theorem prover for full first-order logic with equality

PR:		211903
Submitted by:	Greg V <>
Approved by:	tcberner (mentor)
Differential Revision:

Number of commits found: 3

User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
apache24Jan 23
mod_dav_svnJan 23
joomla3Jan 20
drupal7Jan 19
drupal8Jan 19
helmJan 18
gitlab-ceJan 17
jenkinsJan 16
jenkins-ltsJan 16
py-matrix-synapseJan 15
irssiJan 10
giteaJan 06
uriparserJan 06
chromiumJan 05
chromiumJan 05

9 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-01-23 15:11:17

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 36039
Broken 119
Deprecated 412
Ignore 333
Forbidden 3
Restricted 162
Vulnerable 34
Expired 5
Set to expire 385
Interactive 0
new 24 hours 5
new 48 hours9
new 7 days39
new fortnight68
new month157

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.