Extract a module 'SolutionGraph'.