Function z3_sys::Z3_solver_import_model_converter [−][src]
pub unsafe extern "C" fn Z3_solver_import_model_converter(
ctx: Z3_context,
src: Z3_solver,
dst: Z3_solver
)
Expand description
Ad-hoc method for importing model conversion from solver.