How to Install and Uninstall klee Package on openSUSE Leap

Last updated: January 26,2025

1. Install "klee" package

Please follow the steps below to install klee on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                klee
            
                    
    
    Copied

2. Uninstall "klee" package

Here is a brief guide to show you how to uninstall klee on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                klee
            
                    
    
    Copied

3. Information about the klee package on openSUSE Leap

Information for package klee:
-----------------------------
Repository : Main Repository
Name : klee
Version : 2.3+20220926-bp155.1.12
Arch : x86_64
Vendor : openSUSE
Installed Size : 6.2 MiB
Installed : No
Status : not installed
Source package : klee-2.3+20220926-bp155.1.12.src
Upstream URL : http://klee.github.io/
Summary : LLVM Execution Engine
Description :
KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.