The azove rpms
Find a file
2026-01-16 04:14:09 +00:00
.gitignore Add -memory and -map patches. Build with RPM_LD_FLAGS. 2020-03-18 16:52:53 -06:00
azove-include.patch Initial import. 2012-09-18 15:29:24 -06:00
azove-map.patch Add -memory and -map patches. Build with RPM_LD_FLAGS. 2020-03-18 16:52:53 -06:00
azove-memory.patch Add -memory and -map patches. Build with RPM_LD_FLAGS. 2020-03-18 16:52:53 -06:00
azove.spec Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild 2026-01-16 04:14:09 +00:00
azove2.1 Initial import. 2012-09-18 15:29:24 -06:00
README.md Add README.md. 2022-07-07 11:15:39 -06:00
sources Initial import. 2012-09-18 15:29:24 -06:00

azove

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.