mrs-tptp 0.2.2

A robust TPTP parser for Rust using winnow
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use mrs_tptp::parse_tptp;
fn main() {
    let input = r#"thf(is_symmetric_property,conjecture,
    ( is_symmetric @ ( (@=) @ ( $i > a_type ) ) ))."#;
    match parse_tptp(input) {
        Ok(problem) => {
            for f in &problem.formulas {
                println!("Parsed: {:?}", f);
                println!("Display: {}", f);
            }
        }
        Err(e) => eprintln!("Error: {}", e),
    }
}