load_file/
load_file.rs

1use oxidd_parser::{load_file, ParseOptionsBuilder};
2
3fn main() {
4    let parse_options = ParseOptionsBuilder::default().build().unwrap();
5
6    for arg in std::env::args().skip(1) {
7        println!("\nloading {arg} ...");
8        if let Some(problem) = load_file(arg, &parse_options) {
9            println!("{problem:#?}")
10        }
11    }
12}