Frederico dos Santos Liporace, liporace@inf.puc-rio.br
This tutorial describes how to instantiate the Plansim framework to build a solver for the Towers of Hanoi puzzle.