Type Definition z3_sys::Z3_model

source · 
pub type Z3_model = *mut _Z3_model;
Expand description

Model for the constraints inserted into the logical context.