Run Gringo/Clingo Successfully on OpenSUSE [Gringo Not Working on OpenSUSE - FIXED!]

With the recent gringo/clingo sources, no configuration should be necessary (under (most) linuxes).
However you have to make sure the installation of the development package of python.

To install the necessary packages:

  sudo zypper in python-devel lua-devel bison scons re2c

For threading support, you also need Intel's tbb. It is in the education repository.

  sudo zypper in tbb-devel