veripb 3.0.1

VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use anyhow::Result;
use clap::Parser;
use git_version::git_version;
use mimalloc::MiMalloc;

use veripb::{args::Args, run_checker};

#[global_allocator]
static GLOBAL: MiMalloc = MiMalloc;

fn main() -> Result<()> {
    println!(
        "Running VeriPB version {}",
        git_version!(fallback = env!("CARGO_PKG_VERSION"))
    );
    run_checker(Args::parse())
}