The latest version of z3 is 408.2-0.

lib:z3

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.