Program pvat uses C++ LEDA library of the data types and algorithms of combinatorial computing. According to the conditions of its use I am
"... 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."

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.