klee-uclibc from devel:tools:statica project
Select Your Operating System
Add repository and install manually
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 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 klee-uclibc