getStats method

Stats getStats()

Implementation

Stats getStats() {
  return _c._getStats(_c._z3.solver_get_statistics(_solver));
}