Crate tptp

Expand description

A crate for reading files in the TPTP format.

Quickstart

extern crate tptp;

// propagate any errors encountered for handling later
fn example() -> Result<(), tptp::error::ErrorInfo> {

    // stream TPTP statements, following include directives
    for statement in tptp::stream("example.p")? {

        // reading each statement might involve an error
        let statement = statement?;

        // process each statement as you see fit
        println!("{:#?}", statement);

    }

    Ok(())
}