2. Type the following Command:
vi ~/.bashrc
export PATH=$PATH:~/Documents/clingo-4.5.3/
Now you're all done.
To ensure you did it right, type:
clingo
All about Computer Science | Linux: OpenSUSE, Red Hat, CentOS, Fedora| RPM Package Manager (RPM) (Red Hat Package Manager)| Programming Concepts | Java | Python | Life Hacks | Microsoft Windows | Tutorials...
vi ~/.bashrc
export PATH=$PATH:~/Documents/clingo-4.5.3/
clingo