it's just `pip install Box2D`. However, when I worked on this a few weeks ago it didn't seem like Box2D supported python 3.9, 3.10, or 3.11 (pip install gives an error). So I had to use python 3.8.
