Added explaination of the DFS solver to the post