docs: def _min(self, memory, addr, **kwargs):
          """
          Gets the minimum solution of an address.
          """
          return memory.state.solver.min(addr, exact=kwargs.pop('exact', self._exact), **kwargs)