Download link broken

[arosen]

Dear Graeme and friends,

I am trying to download VTST Tools, but it seems the provided link is no longer active: https://theory.cm.utexas.edu/vtsttools/download.html. Am I looking in the correct spot? It has admittedly been a while for me...

Thanks for the help!

Best,
Andrew

[graeme]

Andrew, thank you for letting us know! Hopefully things are fixed now.

[arosen]

Graeme,

Works like a charm! Good as new. Thanks!