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.