There are currently no open bugs.

"z3" versions published in Ubuntu

Mantic (4.8.12-3.1): universe/misc
Lunar (4.8.12-3.1): universe/misc
Jammy (4.8.12-1): universe/misc
Focal (4.8.7-4build1): universe/misc
Bionic (4.4.1-0.3build4): universe/misc
Xenial (4.4.0-5): universe/misc