name: tptp
description: A library for handling TPTP related input and systems
license_spdx: BSD-3-Clause
version: 0.0.3.dev2
spec_version: 1.0
home_url: https://github.com/leoprover/tptp
news_url: https://libraries.io/pypi/tptp/versions.atom
date: 2019-09-24
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/tptp?number=0.0.3.dev2
vcs_tool: git
vcs_repository: https://github.com/leoprover/tptp
vcs_branch: master
