How to Install and Uninstall libppl-swi Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 22,2024

1. Install "libppl-swi" package

Please follow the guidelines below to install libppl-swi on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libppl-swi
            
                    
    
    Copied

2. Uninstall "libppl-swi" package

Please follow the instructions below to uninstall libppl-swi on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libppl-swi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libppl-swi package on Ubuntu 21.10 (Impish Indri)

Package: libppl-swi
Architecture: amd64
Version: 1:1.2-8.1build1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 27976
Depends: libppl14 (= 1:1.2-8.1build1), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9), swi-prolog-core (>= 8.2.1+dfsg)
Filename: pool/universe/p/ppl/libppl-swi_1.2-8.1build1_amd64.deb
Size: 2994044
MD5sum: 50c72d22fff32eb4cd4e56645fff3b37
SHA1: 6e366e6345cf1a6d6bc31b7f04ae8c4ea8a12649
SHA256: 311d8c144a029db97c254b65303082c585425a6427ad508a2dbbfd1a7b5c9f9b
SHA512: 36fd55e42213b38bc5658d37886163d6f07b0696f25990356b4b7657a95aaedb4c26184840007a17b8ab005ad4c0f4badd093a9ff24c88e649c15e605f06695a
Homepage: http://www.cs.unipr.it/ppl/
Description-en: Parma Polyhedra Library (SWI Prolog interface)
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
numerical abstractions. The applications of convex polyhedra include
program analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing. The Parma Polyhedra
Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
mean it), fully dynamic (available virtual memory is the only
limitation to the dimension of anything), written in standard C++,
exception-safe, rather efficient and thoroughly documented.
.
This package provides the SWI Prolog interface.
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd