How to Install and Uninstall brial-devel Package on openSUSE Leap

Last updated: June 26,2024

1. Install "brial-devel" package

Learn how to install brial-devel on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                brial-devel
            
                    
    
    Copied

2. Uninstall "brial-devel" package

Please follow the guidelines below to uninstall brial-devel on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                brial-devel
            
                    
    
    Copied

3. Information about the brial-devel package on openSUSE Leap

Information for package brial-devel:
------------------------------------
Repository : Main Repository
Name : brial-devel
Version : 1.2.12-bp155.1.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 758.2 KiB
Installed : No
Status : not installed
Source package : brial-1.2.12-bp155.1.4.src
Upstream URL : https://github.com/BRiAl/BRiAl
Summary : Development files for polybori, a CAS for Boolean Polynomials
Description :
The core of PolyBoRi/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.
This subpackage contains the include files and library links for
developing with polybori/brial libraries.