veripb-formula 0.1.1

VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Commonly used items from the formula crate.
//!
//! Usage:
//! ```rust
//! use veripb_formula::prelude::*;
//! ```

pub use crate::assignment::Assignment;
pub use crate::boolean_var::{BoolValue, BooleanVar};
pub use crate::cardinality::Cardinality;
pub use crate::clause::Clause;
pub use crate::db_constraint::{DBConstraint, DBHeader};
// pub use crate::fat_pb_constraint::FatPBConstraint;
pub use crate::formula::Formula;
pub use crate::general_pb_constraint::GeneralPBConstraint;
pub use crate::general_pb_term::GeneralPBTerm;
pub use crate::helper::ConstraintPropagationResult;
pub use crate::lit::Lit;
pub use crate::pb_constraint::{
    constraint_from_terms, constraint_from_terms_and_coeff_sum, Int, PBConstraint,
    PBConstraintEnum, PBConstraintGetter,
};
pub use crate::pb_objective::PBObjective;
pub use crate::pb_term::PBTerm;
pub use crate::substitution::{Substitution, SubstitutionValue};
pub use crate::to_pretty_string::ToPrettyString;
pub use crate::var_name_manager::VarNameManager;
pub use crate::var_type::{Negate, VarIdx, VarType};