Function z3_sys::Z3_solver_import_model_converter

pub unsafe extern "C" fn Z3_solver_import_model_converter(
    ctx: Z3_context, 
    src: Z3_solver, 
    dst: Z3_solver
)

Ad-hoc method for importing model conversion from solver.