Type Definition z3_sys::Z3_optimize [−][src]
pub type Z3_optimize = *mut _Z3_optimize;
Expand description
Context for solving optimization queries.
pub type Z3_optimize = *mut _Z3_optimize;
Context for solving optimization queries.