1azove(1)                         User Commands                        azove(1)
2
3
4

NAME

6       azove - Another Zero-One Vertex Enumeration tool
7

SYNOPSIS

9       azove [-c] [-r] [-e] FILE
10

DESCRIPTION

12       Azove  is  a  tool designed for counting (without explicit enumeration)
13       and enumeration of 0/1 vertices.  Given a polytope by a  linear  relax‐
14       ation or facet description P = {x | Ax <= b}, all 0/1 points lying in P
15       can be counted or enumerated.  This is done by intersecting  the  poly‐
16       tope  P  with  the  unit-hypercube  [0,1] d.  The integral vertices (no
17       fractional ones) of this intersection will be enumerated.  If  P  is  a
18       0/1  polytope, azove solves the vertex enumeration problem.  In fact it
19       can also solve the 0/1 knapsack problem and the 0/1 subset sum problem.
20
21       FILE is a file in the cddlib .ine format.
22
23       Statistics and timings are written to stderr.  Output  in  cddlib  .ext
24       format is written to stdout.
25

OPTIONS

27       -c     Only count the number of 0/1 vertices [default: enumeration].
28
29       -r     Generate  random variables order for the BDDs [default: variable
30              order given by input].  This may help in case of hard instances.
31
32       -e     Exact arbitrary precision.
33
34
35
36Azove                                 2.0                             azove(1)