# tptp
A [crate](https://crates.io/crates/tptp) for reading files in the FOF dialect of the [TPTP](http://tptp.org) format.
## Features
* Streaming parser
* Flexible `include()` handling with the `Resolve` trait
* Reasonably complete FOF support
* Sensible AST
* String sharing
## Wishlist
In order of urgency:
* More complete FOF parsing
* CNF support
* "other" support?
## Documentation
See [docs.rs](https://docs.rs/tptp).