veripb 3.0.0

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

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 {}{}",
        env!("CARGO_PKG_VERSION"),
        git_version!(prefix = "-", fallback = "")
    );
    run_checker(Args::parse())
}