Function z3_sys::Z3_solver_get_consequences

pub unsafe extern "C" fn Z3_solver_get_consequences(
    c: Z3_context, 
    s: Z3_solver, 
    assumptions: Z3_ast_vector, 
    variables: Z3_ast_vector, 
    consequences: Z3_ast_vector
) -> Z3_lbool

retrieve consequences from solver that determine values of the supplied function symbols.