RAT uses the model checkers NuSMV and an enhanced version of Vis for some computations. Binary executable files for both the model checkers are shipped with the provided RAT package. Both the executable files have been compiled under Linux on a 32bit x86 architecture and will not work on different platforms.
If RAT is required to be executed on different platforms, it will be necessary to compile the underlying model checkers.
For running RAT the following libraries are mandatory:
RAT is distributed under GNU LESSER GENERAL PUBLIC LICENSE Version 2.1, February 1999 (LGPL).