Graph spanning tree problem solver implementation