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.