azove-2.0-alt1_17.x86_64.rpm


Advertisement

Description

azove - Another Zero-One Vertex Enumeration tool

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports x86_64
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
Category Other
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.

Alternatives

Package Version Architecture Repository
azove-2.0-alt1_17.i586.rpm 2.0 i586 Autoimports
azove - - -

Requires

Name Value
/lib64/ld-linux-x86-64.so.2 -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -

Provides

Name Value
azove = 2.0-alt1_17

Download

Type URL
Mirror ftp.altlinux.org
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] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus x86_64 autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install azove rpm package:
    # sudo apt-get install azove

Files

Path
/usr/bin/azove2
/usr/share/doc/azove-2.0/COPYING
/usr/share/doc/azove-2.0/INSTALL
/usr/share/doc/azove-2.0/README
/usr/share/man/man1/azove2.1.xz

See Also

Package Description
balsa-2.5.7-alt1_2.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_10.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.3-alt1_1.x86_64.rpm B.A.T.M.A.N. advanced control and management tool
bbkeys-0.9.0-alt1_20.x86_64.rpm Completely configurable key-combo grabber for blackbox
bbrun-1.6-alt1_13.x86_64.rpm Run window for Blackbox
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
bear-factory-0.7.0-alt1_0.21.20161230git781ec80.x86_64.rpm Level, animation and model editors for the Bear engine
beediff-1.9-alt1_24.x86_64.rpm Visual tool for comparing and merging files
beret-1.2.1-alt1_3.20130311.1.x86_64.rpm 2D puzzle-platformer starring a telekinetic scientist
berusky2-0.10-alt1_19.x86_64.rpm Sokoban clone
Advertisement
Advertisement