Debug solver agnostic framework