veripb 3.0.2

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
18
19

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

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

/// Use [mimalloc](https://github.com/microsoft/mimalloc) to improve allocation performance.
#[global_allocator]
static GLOBAL: MiMalloc = MiMalloc;

/// Main function of the VeriPB tool.
fn main() -> Result<()> {
    println!(
        "Running VeriPB version {}",
        git_version!(args = ["--tags"], fallback = env!("CARGO_PKG_VERSION"))
    );
    run_checker(Args::parse())
}