Please note that the content of folder "common" must be in your PATH.

For more information about how to run solvers, please refer to the website (see https://www.mat.unical.it/aspcomp2014/#System_Package.28s.29_submission). An example follows..

	$ cat /path/to/instances/instance.asp path/to/encoding/encoding.asp | ./run 126 1 pushtogoal/7,pushtonongoal/7,move/5
