wanted: Z3Prover/z3

[grebe]

Module location

https://github.com/Z3Prover/z3

Link to bzlmod issue in the module's repository

No response

Any other context to provide?

XLS has some portion of z3 bazelified here

Fund our work

• Sponsor our community's open source work by donating a feature bounty