Asp navigation files
You need to install Clingo on Ubuntu 14.04. To install Clingo, just run this command:
sudo apt-get install gringo
To test the ASP files, run this command:
clingo -c n=10 *.asp
where n-1 is the maximum number of actions allowed in planning.