Program pvat uses
C++ LEDA library of the data types and algorithms of combinatorial computing.
According to the conditions of its use I am
Unless you will be using pvat
for
research or educational purposes only
you
need a LEDA licence. Please, see
LEDA
home page for the details.
"... not allowed to use the
software for commercial purposes or to distribute (parts of) the software
or programs implemented using the software
to a commercial user."