The tool is open source, written in Python 3, multiplatform (macOS, Linux, Windows), and only requires the installation of the Z3 solver.
All installation details, along with examples, tutorial videos, etc., can be found in the docs folder after cloning the repository with Git (in your favorite terminal or with a Git tool):
git clone https://redmine.laas.fr/laas/taf.git
Alternatively, you can browse the source code and documentation here :
The full manual is available as a PDF in the repository.
Old releases of TAF are stored as Git branches on the Git repository (e.g., if you want to use the first release of TAF, you need to check out the taf-v1 branch: git checkout taf-v1)