VTST•Tools is released under the Apache License version 2.

## Tar files¶

VTST Code: vtstcode.tgz

VTST Scripts: vtstscripts.tgz

## SVN Access¶

A read-only copy of the code can be anonymously checked out of the subversion repository with the following command:

svn co http://theory.cm.utexas.edu/svn/vtsttools


If you are a developer you can checkout the code using the command:

svn co svn+ssh://username@theory.cm.utexas.edu/svn/vtsttools


This will fetch a copy of the latest code to a local directory named vtsttools. For more information on subversion read its online documentation.