Type Definition z3_sys::Z3_config

source · 
pub type Z3_config = *mut _Z3_config;
Expand description

Configuration object used to initialize logical contexts.