Struct z3::Params [−][src]
pub struct Params<'ctx> { /* fields omitted */ }
Expand description
Parameter set used to configure many components (simplifiers, tactics, solvers, etc).
pub struct Params<'ctx> { /* fields omitted */ }
Parameter set used to configure many components (simplifiers, tactics, solvers, etc).