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

Last updated: May 08,2024

1. Install "libbrial-groebner-dev" package

Please follow the step by step instructions below to install libbrial-groebner-dev on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbrial-groebner-dev
            
                    
    
    Copied

2. Uninstall "libbrial-groebner-dev" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbrial-groebner-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libbrial-groebner-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: 286
Depends: libbrial-groebner3 (= 1.2.8-1), libbrial-dev
Breaks: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Replaces: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5)
Filename: pool/universe/b/brial/libbrial-groebner-dev_1.2.8-1_amd64.deb
Size: 42140
MD5sum: 5e73eb6c7ae5629b04d18730befc08e1
SHA1: b764269f3185f1faf7e0a59156cd2375120de0e3
SHA256: 39637cd2a40b31acc996deff1b0b4dcc1c06ed707fa5050740826ce9de1ce530
SHA512: 209c96371baaaf864f5694ceea8e0951fb630bceaf3952dcf53c3ad9268e737f29eb2e916346805b30479f9bfb3e055049b9a29c9631591357fd29bce5e1dbd0
Homepage: https://github.com/BRiAl
Description-en: development files for libbrial-groebner
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 development files for libbrial-groebner.
Description-md5: 06b76f7f1667b2f0b3f088ab64c02c58