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: 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
asterisk15Nov 14
asterisk16Nov 14
linux-flashplayerNov 13
kio-extrasNov 12
opensslNov 12
openjpeg*Nov 11
patch*Nov 11
libressl*Nov 10
libressl-devel*Nov 10
openssl-devel*Nov 10
openssl111*Nov 10
lighttpdNov 09
mariadb100-server*Nov 08
mariadb101-server*Nov 08
mariadb102-server*Nov 08

16 vulnerabilities affecting 150 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2018-11-14 17:55:03

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 35970
Broken 113
Deprecated 588
Ignore 378
Forbidden 3
Restricted 162
Vulnerable 39
Expired 5
Set to expire 561
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days21
new fortnight46
new month144

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