Cairn

Cairn is a general-purpose problem-solving engine. Given an origin and a goal, it searches for a path through an unknown state space.