There is a file menu with working new, open, save, and exit options. GraphSolver has a method for detecting whether a graph has a cycle.