Planimation
  Planimation is a modular and extensible open source framework to visualise
sequential solutions of planning problems specified in PDDL. We introduce a
preliminary declarative PDDL-like animation profile specification, expressive
enough to synthesise animations of arbitrary initial states and goals of a
benchmark with just a single profile.
