parameters: (self, other)
docstring: Import model converter from other into the current solver
docstring_summary: Import model converter from other into the current solver
docstring_tokens: Import model converter from other into the current solver
function: def import_model_converter(self, other):
          """Import model converter from other into the current solver"""
          Z3_solver_import_model_converter(self.ctx.ref(), other.solver, self.solver)
function_tokens: def import_model_converter ( self , other ) : Z3_solver_import_model_converter ( self . ctx . ref ( ) , other . solver , self . solver )