As mentioned [here](https://github.com/Z3Prover/z3/issues/7424#issuecomment-2420142565), source builds don't create a `dist-info` directory within `site-packages`. This can prevent downstream packages from locating the z3-solver installation during pip installation.
