Version 6.9.91 of the LogSkeleton package includes a new log visualizer plug-in that allows the user to use any classifier for the log skeletons. So far, the log skeletons were restricted to the “concept:name” attribute, but this restriction has now been lifted.
The screenshot below shows the result of using the “org:resource” classifier on the repair example log, showing that simple solvers (SolverS[123]) do not succeed complex solvers (SolverC[123]). It also shows that the “3” solvers never precede the “1” and “2” solvers.
Documentation of the LogSkeleton package has been updated accordingly.