GitHub repository: whitemech/Plan4Past
Primary language: Python
Description: Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals