math/eprover 2.6_2 DragonFly

Theorem prover for full first-order logic with equality

Homepage
Browse the port
Other distributions
Search similar

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

System

Port

Version

DragonFly

math/eprover

2.6_2

FreeBSD

math/eprover

2.6_2

Install

Binary package:

pkg install eprover

From DPorts:

cd /usr/dports/math/eprover && make install clean

Dependencies

Run dependencies 1

shells/bash

No port depends on this one.