# tptp
A [crate](https://crates.io/crates/tptp) for reading files in the [TPTP](http://tptp.org) format.
## Features
* Streaming zero-copy parser on byte slices
* Reasonably complete CNF/FOF dialect support
## Wishlist
In order of urgency:
* Complete annotation support
* TFF/THF support?
## Documentation
See [docs.rs](https://docs.rs/tptp).