getModel method

Model getModel()

Implementation

Model getModel() {
  final result = _c._z3.solver_get_model(_solver);
  return _c._getModel(result);
}