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