Para openSUSE Tumbleweed execute o seguinte 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 execute o seguinte 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 execute o seguinte 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 execute o seguinte 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 execute o seguinte 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 execute o seguinte 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 execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/15.6/devel:tools:statica.repo
zypper refresh
zypper install z3