veripb 3.0.2

VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Documentation 
1
2

disallowed-types = ["std::collections::HashMap", "std::collections::HashSet"]
ignore-interior-mutability = ["veripb_formula::prelude::DBConstraint"]