Thot toolkit for SMT has been moved to github

As of 2013-11-18, this project can now be found at https://github.com/daormar/thot

Posted by Daniel Ortiz-Martínez 2013-11-18