tptp
A crate for reading files in the TPTP 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.