klee from devel:tools:statica project

Select Your Operating System

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
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 klee
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 klee
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