Function z3_sys::Z3_qe_model_project

pub unsafe extern "C" fn Z3_qe_model_project(
    c: Z3_context, 
    m: Z3_model, 
    num_bounds: c_uint, 
    bound: *const Z3_app, 
    body: Z3_ast
) -> Z3_ast

Project variables given a model