David Lopez posted a comment on discussion Help

With the source code there is a txt file explaining constraint format. It can be dowloados from: https://sourceforge.net/projects/vptag/files/java/src/com/qedtesting/vptag/Vptag.txt/download