GitHub repository: IBM/AutoToS
Primary language: PDDL
Description: The repository for the code associated with the paper "Automating Thought of Search: A Journey Towards Soundness and Completeness"