treesearchsolverpy (pypi): A solver based on Heuristic Tree Search
Keywords: tree-search