Problem solving à la carte
FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.