TAMER
TAMER is an application-oriented planner for the ANML (read as “animal”) planning specification language. The objective of TAMER is to provide functionalities to model, solve and analyze planning problems in practice.
For further information, please refer to the TAMER’s web page.