classical-planning topic

The Fast Downward domain-independent classical planning system

aibasel

The General Problem Solver, AI's 'first' algorithm, written in multiple programming languages.

thundergolfer

Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

whitemech