veripb-parser 0.1.2

VeriPB parsing library for OPB, WCNF, and DIMACS CNF formats.
Documentation 
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

use std::time::Instant;

use clap::Parser;
use veripb_parser::opb_parser::parse_opb_from_file;

#[derive(Parser)]
struct Settings {
    path: std::path::PathBuf,
}

fn main() {
    let args = Settings::parse();

    let start = Instant::now();
    let (formula, var_names, _) = match parse_opb_from_file(args.path) {
        Ok(output) => output,
        Err(e) => {
            eprintln!("{e}");
            return;
        }
    };
    let duration = start.elapsed();

    println!("The OPB file has the following statistics:");
    println!("#Constraints: {}", formula.len());
    println!("#Vars: {}", var_names.len());
    println!("Parsing time: {}s", duration.as_secs_f64());
}