Struct z3::Config [−][src]
pub struct Config { /* fields omitted */ }
Expand description
Configuration used to initialize logical contexts.
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Config
impl UnwindSafe for Config