The repository for the code associated with the paper "Automating Thought of Search: A Journey Towards Soundness and Completeness" - View it on GitHub