A crate for reading files in the TPTP format. Supplies TPTP nom parsers for maximum flexibility.

Quickstart

use tptp::parsers::tptp_input_iterator;
use tptp::syntax::Visitor;

struct MyVisitor;
impl<'a> Visitor<'a> for MyVisitor {}

fn example(bytes: &[u8]) {
let mut visitor = MyVisitor;
let mut parser = tptp_input_iterator::<()>(bytes);
for input in &mut parser {
println!("{}", &input);
visitor.visit_tptp_input(input);
}
assert!(parser.finish().is_ok());
}