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
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

use mrs_tptp::parse_tptp;
use std::fs;

fn main() {
    let content =
        fs::read_to_string("/mnt/c/Users/user/tmp/TPTP-v9.2.1/Problems/SWW/SWW972_1.p").unwrap();

    // Try to parse each line to find where it breaks
    let lines: Vec<&str> = content.lines().collect();
    let mut accum = String::new();

    for (i, line) in lines.iter().enumerate() {
        accum.push_str(line);
        accum.push('\n');

        // Only test when we have a complete formula (line ends with period and non-comment)
        let trimmed = line.trim();
        if trimmed.ends_with(").") && !trimmed.starts_with('%') {
            match parse_tptp(&accum) {
                Ok(p) => {
                    println!(
                        "Line {}: OK - {} formulas parsed so far",
                        i + 1,
                        p.formulas.len()
                    );
                }
                Err(e) => {
                    println!("Line {}: FAIL - {}", i + 1, e);
                    println!(
                        "Last few lines:\n{}",
                        lines[i.saturating_sub(5)..=i].join("\n")
                    );
                    break;
                }
            }
        }
    }
}