Another Zero-One Vertex Enumeration tool
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.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 2.0-28.fc40 | - |
Fedora 40 | 2.0-28.fc40 | - |
Fedora 39 | 2.0-26.fc39 | - |
Fedora 38 | 2.0-25.fc38 | - |
You can contact the maintainers of this package via email at
azove dash maintainers at fedoraproject dot org
.