Function z3_sys::Z3_global_param_reset_all
source · pub unsafe extern "C" fn Z3_global_param_reset_all()Expand description
Restore the value of all global (and module) parameters. This command will not affect already created objects (such as tactics and solvers).