tptp

A crate for reading files in the FOF dialect of the TPTP format.

Features

• Streaming parser
• Simplified API for common cases
• Reasonably complete FOF support

Wishlist

In order of urgency:

• More complete FOF parsing
• CNF support
• "other" support?

Documentation

See docs.rs.