klee from home:aaronpuchert:Backports:SLE-15 project
Select Your Operating System
Add repository and install manually
For SLE 15 SP4 Backports run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:aaronpuchert:Backports:SLE-15/SLE_15_SP4_Backports/home:aaronpuchert:Backports:SLE-15.repo zypper refresh zypper install klee