tptp 0.1.1

Read files in the TPTP format
Documentation
[package]
name = "tptp"
description = "Read files in the TPTP format"
version = "0.1.1"
authors = ["Michael Rawson <michael@rawsons.uk>"]
license = "MIT"
homepage = "https://github.com/MichaelRawson/tptp"
readme = "README.md"
keywords = ["parser", "tptp"]

[dependencies]