Package z3

Welcome to the future! This package does not support Python 2 at all. All is good in the world.


See z3 in the Fedora Pagure, or go directly to the corresponding spec file.

RPMs

  • python3-z3-4.11.2-1.fc38.noarch
    • python(abi) = 3.11
  • z3-4.11.2-1.fc38.src
    • python3-devel
    • python3-devel = 3.11.0-1.fc38

Maintainers