How to Install and Uninstall azove Package on openSuSE Tumbleweed

Last updated: May 06,2024

1. Install "azove" package

This guide covers the steps necessary to install azove on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                azove
            
                    
    
    Copied

2. Uninstall "azove" package

This tutorial shows how to uninstall azove on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                azove
            
                    
    
    Copied

3. Information about the azove package on openSuSE Tumbleweed

Information for package azove:
------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : azove
Version : 2.0-3.2
Arch : x86_64
Vendor : openSUSE
Installed Size : 63.8 KiB
Installed : No
Status : not installed
Source package : azove-2.0-3.2.src
Upstream URL : https://people.mpi-inf.mpg.de/alumni/d1/2019/behle/azove.html
Summary : Another Zero One Vertex Enumeration tool
Description :
azove is a tool designed for counting (without explicit enumeration)
and enumeration of 0/1 vertices.
Given a polytope by a linear relaxation or facet description P = {x |
Ax <= b}, all 0/1 points lying in P can be counted or enumerated.
This is done by intersecting the polytope P with the unit-hypercube
[0,1]^d. The integral vertices (no fractional ones) of this
intersection will be enumerated. If P is a 0/1 polytope, azove solves
the vertex enumeration problem. In fact, it can also solve the 0/1
knapsack problem and the 0/1 subset sum problem.