Installing Eclipse TPTP using the Update Manager creates several problems under Linux.
First, the permissions are missing for the native Integrated Agent Controller code. Symbolic links were also not created for the Integrated Agent Controller libraries, resulting in a “File too short” error message when running the executable.
Second, since the Integrated Agent Controller is [...]








