» Ubuntu » Pakete » lucid (10.04LTS) » science » eprover
lucid  ]
[ Quellcode: eprover  ]

Paket: eprover (1.0.004-1ubuntu1) [universe]

Links für eprover



Quellcode-Paket eprover herunterladen:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Ähnliche Pakete:

Theorem prover for first-order logic with equality

E is a fully automatic theorem prover for full first-order logic with equality. It accepts a mathematical specification and, optionally, a hypothesis, and tries to prove the hypothesis and/or find a saturation representing a (counter-)model for the specification.

E is based on a purely equational problem representation and implements a variant of the superposition calculus. Proof search can be guided with a multitude of options or a powerful automatic configuration mode. The system can process input in a number of different formats, including the standard TPTP-2 and TPTP-3 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP format.

E is considered one of the most powerful and friendly automated theorem provers for first-order logic. It has consistently been among the top system in the major categories of the CASC system competition, and usually been the strongest free software system.

Andere Pakete mit Bezug zu eprover

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances
  • dep: libc6 (>= 2.4)
    Embedded GNU C Library: Shared libraries
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
  • rec: eprover-doc-html
    Theorem prover for first-order logic with equality - HTML doc
  • sug: eprover-examples
    Theorem prover for first-order logic with equality - examples

eprover herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 1.001,4 kB2.276,0 kB [Liste der Dateien]
i386 923,4 kB2.040,0 kB [Liste der Dateien]