Type Definition Z3_optimize
z3_sys
type Z3_optimize = *mut _Z3_optimize;
Context for solving optimization queries.