Only 0-1 vertices of the polytope will be listed. Although they may possibly be present, no vertices with fractional or integral coordinates different from zero or one will be in the output. If you have a different consecutive numbering use option -n. In case of arbitrary variable names use option -a. Variables are consecutively numbered starting at one.
All output is directed to standard out.
You cannot deduce the dimension of the polytope. This is the official web page. All updates and fixes will be announced here . The polytope P is successively intersected with facets of the unit hypercube in a binary tree manner. If this intersection is empty the search tree is pruned.