GitHub repository: LAPKT-dev/tarski-lapkt
Description: Tarski - An AI Planning Modeling Framework