[package] name = "tptp" description = "Parse the TPTP format" edition = "2018" version = "0.8.0" authors = ["Michael Rawson <michael@rawsons.uk>"] license = "MIT" homepage = "https://github.com/MichaelRawson/tptp" readme = "README.md" keywords = ["parser", "tptp"] [dependencies] nom = "4" [[bench]] name = "benchmark" harness = false