How to Install and Uninstall libbrial3 Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 11,2024

1. Install "libbrial3" package

This is a short guide on how to install libbrial3 on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial3
            
                    
    
    Copied

2. Uninstall "libbrial3" package

Learn how to uninstall libbrial3 on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbrial3 package on Ubuntu 20.10 (Groovy Gorilla)

Package: libbrial3
Architecture: amd64
Version: 1.2.8-1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: brial
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 630
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Filename: pool/universe/b/brial/libbrial3_1.2.8-1_amd64.deb
Size: 173744
MD5sum: 047694cffdaaa5eb76efc185a229cdfc
SHA1: a262907357ff3571a4fd9f76a27d55b77de05618
SHA256: 90280317a3d85e867a08afcb9eafa21f46f64dd3e85226c2c9b58e1148fde837
SHA512: 50c91a628e8886070d934268a64064365778854652be438017a8288f1a06f28fe872f11b8c2f9063c27a44084d797d34fe5bda28cdfee3cf361efe47577fb2c0
Homepage: https://github.com/BRiAl
Description-en: polynomials over Boolean Rings, shared library
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 shared library libbrial.
Description-md5: 25d1c5e76291f633e89aa1da852af7cd