GitHub repository: Adamantios/PDDL-Solver
Primary language: C++
Description: A PDDL Solver in C++.