Expand description
Common rsmt2 type and helpers.
Re-exports
pub use crate::actlit;pub use crate::errors::SmtRes;pub use crate::SmtConf;pub use crate::parse::*;pub use crate::print::*;Structs
Solver providing most of the SMT-LIB 2.5 commands.
Enums
SMT-LIB 2 logics, used with Solver::set_logic.