keeeith/dfs-solver not found