un make
deberia ser suficiente.

Es casi la version usada para ICAPS 2008.
Solo mejoras en detalles.

