tptp

A crate for reading files in the TPTP format.

Features

• Streaming parser
• Flexible include() handling with the Resolve trait
• Reasonably complete FOF support
• Sensible AST
• String sharing

Wishlist

In order of urgency:

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

Documentation

See docs.rs.