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: 19 Nov 2017 21:59:40
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.

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

PKGNAME: eprover


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: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
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: 2

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
mediawiki127Sep 22
mediawiki129Sep 22
mediawiki130Sep 22
rubygem-smart_proxy_dynflowSep 22
asterisk13Sep 21
asterisk15Sep 21
firefoxSep 21
firefox-esrSep 21
moodle31Sep 18
moodle33Sep 18
firefox*Sep 15
firefox-esr*Sep 15
joomla3Sep 15
libxul*Sep 15
linux-firefox*Sep 15

14 vulnerabilities affecting 119 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2018-09-22 17:51:27

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 35232
Broken 51
Deprecated 318
Ignore 300
Forbidden 5
Restricted 162
Vulnerable 36
Expired 6
Set to expire 304
Interactive 0
new 24 hours 64
new 48 hours78
new 7 days178
new fortnight284
new month3333

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