--- README ---

The compressed file contains the directory "dlv2-linux-32bit-python2.7/" which provides a standalone executable of DLV2 supporting external literals via python 2.7. 
There is no need to install any library.
Just extract the compressed file to a known location on your computer, and from that location type "./dlv2-linux-32bit-python2.7/dlv2" 
