* T3: for the most up-to-date binary you should build it from the source. The process is pretty easy; check the readme of T3. If you are impatient, you can get it [here](http://www.cs.uu.nl/~wishnu/research/projects/T2/T3/T3_dist.zip)
* T3i is for now only provided in binary: [here](http://www.cs.uu.nl/~wishnu/research/projects/T2/T3i/T3i.jar) Check its readme for its dependency on other projects.