Policy visualization with analyze commands.
The INSTALL.html file contains its installation notes.
In order to run GoGui, a Java Runtime Environment is required. The JAR files are in the lib subdirectory. There are executable shell scripts in the bin subdirectory for users of UNIX (macOS, Solaris, etc.) and UNIX-like (BSD, Linux, etc.) operating systems.