PETRA is available for the following UNIX-derivatives:
in Version 2.6
PETRA comes as a single executable file which has to be stored in the system bin directory or in a user defined directory. In the latter case you have to set the path environment variable accordingly in your .cshrc or .login file. If the file has an extension (e.g., petra.sol) it should be renamed to petra.