1//! 三值求值、真值表与化简。 2 3pub mod eval; 4pub mod simplify; 5 6pub use eval::{ 7 Assignment, EquivalenceResult, VarMap, assignment_index, decode_assignment, equivalent, eval, 8 eval_bitwise, truth_table, 9}; 10pub use simplify::{SimplifyOptions, simplify, simplify_with};