How to Install and Uninstall pplite-devel Package on openSUSE Leap

Last updated: November 26,2024

1. Install "pplite-devel" package

This guide let you learn how to install pplite-devel on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                pplite-devel
            
                    
    
    Copied

2. Uninstall "pplite-devel" package

Here is a brief guide to show you how to uninstall pplite-devel on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                pplite-devel
            
                    
    
    Copied

3. Information about the pplite-devel package on openSUSE Leap

Information for package pplite-devel:
-------------------------------------
Repository : Main Repository
Name : pplite-devel
Version : 0.7-bp155.1.7
Arch : x86_64
Vendor : openSUSE
Installed Size : 393.0 KiB
Installed : No
Status : not installed
Source package : pplite-0.7-bp155.1.7.src
Upstream URL : https://www.cs.unipr.it/~zaffanella/PPLite/
Summary : Headers and generators for pplite
Description :
PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.
The main characteristics of PPLite:
* Both closed and NNC rational convex polyhedra are supported.
* Exact computations are based on FLINT.