How to Install and Uninstall libbrial3 Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 07,2024

1. Install "libbrial3" package

This tutorial shows how to install libbrial3 on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial3
            
                    
    
    Copied

2. Uninstall "libbrial3" package

Please follow the step by step instructions below to uninstall libbrial3 on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial3
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbrial3 package on Ubuntu 21.10 (Impish Indri)

Package: libbrial3
Architecture: amd64
Version: 1.2.10-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: 562
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Filename: pool/universe/b/brial/libbrial3_1.2.10-1_amd64.deb
Size: 153728
MD5sum: 20564401c2e15d8b4ab260a1a6fa685b
SHA1: 165a6b293ec9b1d23f44fc95fca73685fcca575f
SHA256: b3444d1d78e05191f1f92de3a8b7ebb1ab1930614690332387239c19d1bef98c
SHA512: 7185363ccf46026454d74ecebe5b35fbaa1c3e7776feb3ad100bd2a05d6902a42583f015ec2a7b96d208226a033542dae64e2bc927204ca3da63280720607c28
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