For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Tumbleweed/devel:tools:statica.repo
zypper refresh
zypper install z3
For openSUSE Factory zSystems run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_zSystems/devel:tools:statica.repo
zypper refresh
zypper install z3
For openSUSE Factory PowerPC run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_PowerPC/devel:tools:statica.repo
zypper refresh
zypper install z3
For openSUSE Factory ARM run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_ARM/devel:tools:statica.repo
zypper refresh
zypper install z3
For openSUSE 13.1 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_13.1/devel:tools:statica.repo
zypper refresh
zypper install z3
For 15.6 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.6/devel:tools:statica.repo
zypper refresh
zypper install z3
For 15.5 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.5/devel:tools:statica.repo
zypper refresh
zypper install z3