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 klee-uclibc
For 16.0 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/devel:tools:statica/16.0/devel:tools:statica.repo
zypper refresh
zypper install klee-uclibc
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 klee-uclibc