tptp
A crate for reading files in the TPTP format.
Features
- Streaming parser
- Simplified API for common cases
- Reasonably complete CNF/FOF support
Wishlist
In order of urgency:
- Complete annotation support
- TFF/THF support?
Documentation
See docs.rs.