Function z3_sys::Z3_solver_translate

pub unsafe extern "C" fn Z3_solver_translate(
    source: Z3_context, 
    s: Z3_solver, 
    target: Z3_context
) -> Z3_solver

Copy a solver s from the context source to the context target.