Tue, 20 Oct 2026 18:19:07 UTC | login

Information for RPM azove-2.0-34.fc45.src.rpm

ID14893
Buildazove-2.0-34.fc45
Nameazove
Version2.0
Release34.fc45
Epoch
Archsrc
DraftFalse
SummaryAnother Zero-One Vertex Enumeration tool
DescriptionAzove 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.
Build Time2026-10-12 15:51:55 GMT
Size37.42 KB
445bc786e0d607f102ed713ee359c70a
LicenseGPL-2.0-or-later
Buildrootf45-build-2425-315
Provides
azove = 2.0-34.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc-c++
gmp-devel
make
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
azove-2.0.tar.gz17.60 KB
azove-include.patch219.00 B
azove-map.patch4.46 KB
azove-memory.patch802.00 B
azove.spec6.90 KB
azove2.11.16 KB
Component of No Buildroots