File python3-z3-4.13.2-1.fc41.noarch.rpm is obsolete. Try find newer python3-z3 for Fedora Other