azove

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.

Il n'y a pas de paquet officiel disponible pour openSUSE Leap 16.0

Distributions

openSUSE Tumbleweed

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

openSUSE Backports for SLE 15 SP7

openSUSE Backports for SLE 15 SP4

SUSE SLE-15-SP1

Distributions non supportées

Les distributions suivantes ne sont pas officiellement supportées. À utiliser à vos risques et périls.