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

pub use crate::context::{Context, Subcontext};
pub use crate::database::Database;
pub use crate::elaborator::ElaborationError;
pub use crate::elaborator::Elaborator;
pub use crate::error::CheckingError;
pub use crate::misc_tokens::*;
pub use crate::order::{ActiveOrder, Order};
pub use crate::proofgoal::Proofgoal;
pub use crate::proofgoal::ProofgoalID;
pub use crate::rules::{Rule, RuleToken};
pub use crate::subproof_context::SubproofContext;
pub use crate::utils::*;
pub use crate::verifier::Verifier;