Function z3_sys::Z3_goal_convert_model

pub unsafe extern "C" fn Z3_goal_convert_model(
    c: Z3_context, 
    g: Z3_goal, 
    m: Z3_model
) -> Z3_model

Convert a model of the formulas of a goal to a model of an original goal. The model may be null, in which case the returned model is valid if the goal was established satisfiable.