[[bench]]
harness = false
name = "benchmark"
path = "benches/benchmark.rs"
[dependencies.nom]
features = ["lexical"]
version = "5"
[dependencies.serde]
features = ["derive"]
optional = true
version = "1"
[dev-dependencies.insta]
version = "1"
[package]
authors = ["Michael Rawson <michael@rawsons.uk>"]
description = "Parse the TPTP format"
edition = "2018"
homepage = "https://github.com/MichaelRawson/tptp"
include = ["Cargo.toml", "src/*.rs"]
keywords = ["parser", "tptp"]
license = "MIT"
name = "tptp"
readme = "README.md"
version = "0.25.0"
[profile.bench]
codegen-units = 1
lto = true
[profile.release]
codegen-units = 1
lto = true