check_solution: checks for solution being connected and a subgraph of the input graph
check_solution: checks for solution being connected and a subgraph of the input graph

ls-cwi/heinz,ls-cwi/heinz,ls-cwi/heinz,ls-cwi/heinz