azove - Another Zero-One Vertex Enumeration tool

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports x86_64 Official
Package filename azove-2.0-alt1_17.x86_64.rpm
Package name azove
Package version 2.0
Package release alt1_17
Package architecture x86_64
Package type rpm
Homepage -
License -
Maintainer -
Download size 78.04 KB
Installed size 78.04 KB
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.


Package Version Architecture Repository
azove All All All


Name Value
/lib64/ - - - - - - - - - - - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


Name Value
azove = 2.0-alt1_17


Type URL
Binary Package azove-2.0-alt1_17.x86_64.rpm
Source Package azove-2.0-alt1_17.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] x86_64 autoimports
    rpm [Sisyphus] noarch autoimports
  2. Update the package index:
    # sudo apt-get update
  3. Install azove rpm package:
    # sudo apt-get install azove



See Also

Package Description
babeld-1.9.1-alt1_1.x86_64.rpm Ad-hoc network routing daemon
ballerburg-1.2.0-alt1_13.x86_64.rpm Two players, two castles, and a hill in between
balsa-2.5.9-alt1_1.x86_64.rpm Mail Client
bamf-qt-0.2.3-alt1_3.x86_64.rpm Qt bindings and QML plugin for Bamf DBus server
bamf-qt-devel-0.2.3-alt1_3.x86_64.rpm Development files for bamf-qt
basetest-1.3-alt1_11.x86_64.rpm Simulator Number System
basketpwd-0.4.8-alt1_2.x86_64.rpm Basket of passwords
basketpwd-devel-0.4.8-alt1_2.x86_64.rpm Development files for basketpwd
batctl-2019.5-alt1_1.x86_64.rpm B.A.T.M.A.N. advanced control and management tool
bbkeys-0.9.0-alt1_35.x86_64.rpm Completely configurable key-combo grabber for blackbox
bbrun-1.6-alt1_13.x86_64.rpm Run window for Blackbox
bcal-2.1-alt1_5.x86_64.rpm Storage conversion and expression calculator
bdsync-0.11.1-alt1_2.x86_64.rpm Remote sync for block devices
bear-devel-0.7.0-alt1_0.21.20161230git781ec80.x86_64.rpm Development files for bear
bear-engine-0.7.0-alt1_0.21.20161230git781ec80.x86_64.rpm Run-time libraries for games based on the Bear engine