beta

As of 2015-03-17, this project may now be found at http://daormar.github.io/thot/.

Best Way to Get Help

Thot toolkit for SMT says the best way to get help with its software is by visiting http://daormar.github.io/thot/.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Homepage

This project has a homepage which can be found at http://daormar.github.io/thot/.