Sophie

Sophie

distrib > Fedora > 17 > i386 > media > updates-src > by-pkgid > 0d4295459d1f57c0068e09854fd7f06c

azove-2.0-2.fc17.src.rpm

Description:

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.

Generated packages:

Other version of this rpm: