Faster, Higher, Stronger: E 2.3 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Faster, Higher, Stronger: E 2.3

Abstract

E 2.3 is a theorem prover for many-sorted first-order logic with equality. We describe the basic logical and software architecture of the system, as well as core features of the implementation. We particularly discuss recently added features and extensions, including the extension to many-sorted logic, optional limited support for higher-order logic, and the integration of SAT techniques via PicoSAT. Minor additions include improved support for TPTP standard features, always-on internal proof objects, and lazy orphan removal. The paper also gives an overview of the performance of the system, and describes ongoing and future work.
Fichier principal
Vignette du fichier
sde2_3.pdf (332.09 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02296188 , version 1 (25-09-2019)

Identifiers

Cite

Simon Cruanes, Stephan Schulz, Petar Vukmirović. Faster, Higher, Stronger: E 2.3. TACAS 2019, Apr 2019, Prague, Czech Republic. pp.495-507, ⟨10.1007/978-3-030-29436-6_29⟩. ⟨hal-02296188⟩
85 View
438 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More