azove - Another Zero-One Vertex Enumeration tool

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


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


Name Value
azove = 2.0-alt1_17


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

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] i586 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.i586.rpm Ad-hoc network routing daemon
ballerburg-1.2.0-alt1_13.i586.rpm Two players, two castles, and a hill in between
balsa-2.5.9-alt1_1.i586.rpm Mail Client
bamf-qt-0.2.3-alt1_3.i586.rpm Qt bindings and QML plugin for Bamf DBus server
bamf-qt-devel-0.2.3-alt1_3.i586.rpm Development files for bamf-qt
basetest-1.3-alt1_11.i586.rpm Simulator Number System
basketpwd-0.4.8-alt1_2.i586.rpm Basket of passwords
basketpwd-devel-0.4.8-alt1_2.i586.rpm Development files for basketpwd
batctl-2019.5-alt1_1.i586.rpm B.A.T.M.A.N. advanced control and management tool
bbkeys-0.9.0-alt1_35.i586.rpm Completely configurable key-combo grabber for blackbox
bbrun-1.6-alt1_13.i586.rpm Run window for Blackbox
bdsync-0.11.1-alt1_2.i586.rpm Remote sync for block devices
beediff-1.9-alt1_24.i586.rpm Visual tool for comparing and merging files
beret-1.2.1-alt1_4.20130311.1.i586.rpm 2D puzzle-platformer starring a telekinetic scientist
berry-1.0.0-alt1_11.i586.rpm Modern and light image viewer