Module rsmt2::prelude[−][src]

Expand description

Common rsmt2 type and helpers.

Re-exports

pub use crate::actlit;
pub use crate::errors::SmtRes;
pub use crate::parse::*;
pub use crate::print::*;
pub use crate::SmtConf;

Structs

Solver

Solver providing most of the SMT-LIB 2.5 commands.

Enums

Logic

SMT Lib 2 logics, used with Solver::set_logic.