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.