z3_sys

Function Z3_mk_model

Source 
pub unsafe extern "C" fn Z3_mk_model(c: Z3_context) -> Z3_model
Expand description

Create a fresh model object. It has reference count 0.