pub type Z3_params = *mut _Z3_params;
Parameter set used to configure many components such as: simplifiers, tactics, solvers, etc.