Type Alias Z3_params 

pub type Z3_params = NonNull<_Z3_params>;

Parameter set used to configure many components such as: simplifiers, tactics, solvers, etc.

Aliased Type

pub struct Z3_params { /* private fields */ }