.TH "azove" "1" "2.0" "Azove" "User Commands" .SH "NAME" azove \- Another Zero-One Vertex Enumeration tool .SH "SYNOPSIS" .B azove [\fI\-c\fP] [\fI\-r\fP] [\fI\-e\fP] \fIFILE\fP .SH "DESCRIPTION" .PP 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. .PP \fIFILE\fP is a file in the cddlib .ine format. .PP Statistics and timings are written to stderr. Output in cddlib .ext format is written to stdout. .SH "OPTIONS" .TP \fB\-c\fP Only count the number of 0/1 vertices [default: enumeration]. .TP \fB\-r\fP Generate random variables order for the BDDs [default: variable order given by input]. This may help in case of hard instances. .TP \fB\-e\fP Exact arbitrary precision.