Faster, Higher, Stronger: E 2.3 - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Faster, Higher, Stronger: E 2.3

(1) , (2) , (3)
1
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⟩
76 View
314 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More