Para openSUSE Tumbleweed ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Tumbleweed/devel:tools:statica.repo
zypper refresh
zypper install z3
Para openSUSE Factory zSystems ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_zSystems/devel:tools:statica.repo
zypper refresh
zypper install z3
Para openSUSE Factory PowerPC ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_PowerPC/devel:tools:statica.repo
zypper refresh
zypper install z3
Para openSUSE Factory ARM ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_Factory_ARM/devel:tools:statica.repo
zypper refresh
zypper install z3
Para openSUSE 13.1 ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/openSUSE_13.1/devel:tools:statica.repo
zypper refresh
zypper install z3
Para 16.0 ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/16.0/devel:tools:statica.repo
zypper refresh
zypper install z3
Para 15.6 ejecute lo siguiente como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.6/devel:tools:statica.repo
zypper refresh
zypper install z3