Since it was all written by Google it probably has only the packages they need...though in the interest of adoption perhaps not. You can just check in the repo on github.

OTOH you may not need some of those tools as the point of this project was actually as an environment supporting differentiable programming, so some of that slicing and dicing is approached automatically, at a higher level.