Type Alias Z3_optimize 

pub type Z3_optimize = NonNull<_Z3_optimize>;

Context for solving optimization queries.

Aliased Type

pub struct Z3_optimize { /* private fields */ }