How to Install and Uninstall libbrial-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: December 29,2024

1. Install "libbrial-dev" package

Please follow the steps below to install libbrial-dev on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial-dev
            
                    
    
    Copied

2. Uninstall "libbrial-dev" package

In this section, we are going to explain the necessary steps to uninstall libbrial-dev on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbrial-dev package on Ubuntu 20.10 (Groovy Gorilla)

Package: libbrial-dev
Architecture: amd64
Version: 1.2.8-1
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: brial
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 603
Depends: libbrial3 (= 1.2.8-1), libboost-dev, libgd-dev, libpng-dev, libm4ri-dev
Breaks: libpolybori-dev (<< 0.8.5)
Replaces: libpolybori-dev (<< 0.8.5)
Filename: pool/universe/b/brial/libbrial-dev_1.2.8-1_amd64.deb
Size: 87284
MD5sum: eb86a9068f343b9c7ca86bfdb0335a06
SHA1: c4c3dcf510a48df97b2f50bcb2dad6546b2085db
SHA256: 8f81ece7cff77f57655331e8fd4be2a3077deb0edaad01ff3733b49c1e35b5ff
SHA512: e989b27966c2d921785041f38a0de779fb8d6473858e7dc761c4c0b798d9808e1e28ce9add338d86e7735e23e486fd208f9b1e8fe7c55e567973cb8c1359f5d9
Homepage: https://github.com/BRiAl
Description-en: polynomials over Boolean Rings, core development files
The core of BRiAl is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as
well as for the underlying polynomial rings and subsets of the
powerset of the Boolean variables. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures. On top of this C++-library a Python interface
is provided. This allows parsing of complex polynomial systems, as well
as sophisticated and extendable strategies for Groebner base
computation. BRiAl features a powerful reference implementation
for Groebner basis computation.
.
This package contains the BRiAl core development files.
Description-md5: c2626fcf7fcb606f5ba4966ffc1b51a2