Packages

atp_client

0.7.2
0.7.2 0.7.1 0.7.0 0.6.2 0.6.1 0.6.0 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 0.2.0 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, Isabelle servers and local binaries, on the tptp library.

HexDocs Report package

Current section

Files

Jump to
Documentation
Changelog
License
20 Versions
5 Dependencies
Dependants
Files
Activity
atp_client CITATION.cff
Raw

CITATION.cff 

cff-version: 1.2.0
message: "If you use this software, please cite it using these metadata."
title: "AtpClient"
abstract: >-
  AtpClient is an Elixir client library for external automated theorem provers.
  It provides a uniform interface to multiple backends — SystemOnTPTP, StarExec,
  Isabelle, and locally installed TPTP-compliant binaries (LocalExec) — and
  reads every system's output into a result carrying its SZS status
  (e.g. :theorem, :satisfiable) as a value of the SZS ontology, enabling
  straightforward cross-prover comparison. It is built on the tptp library,
  which provides the TPTP language and the SZS ontology.
type: software
authors:
  - family-names: Schuster
    given-names: Johannes
    orcid: "https://orcid.org/0009-0003-5339-7216"
    affiliation: "Otto-Friedrich-Universität Bamberg, Germany"
  - family-names: Benzmüller
    given-names: Christoph
    orcid: "https://orcid.org/0000-0002-3392-3093"
    affiliation: "Otto-Friedrich-Universität Bamberg, Germany"
  - family-names: Fuenmayor
    given-names: David
    orcid: "https://orcid.org/0000-0002-0042-4538"
    affiliation: "Otto-Friedrich-Universität Bamberg, Germany"
version: "0.7.2"
date-released: "2026-10-13"
license: MIT
repository-code: "https://github.com/jcschuster/AtpClient"
url: "https://atp-client.hexdocs.pm"
keywords:
  - automated theorem proving
  - Elixir
  - TPTP
  - SZS
  - Isabelle
  - StarExec
doi: 10.5281/zenodo.21839442