GitHub repository: JonasGoesgens/learner-strips
Primary language: C++
Description: Learn STRIPS action models from state graphs (SAT and ASP)