This example shows how clingo's asynchronous solving capabilities can be used
in a master-worker scenario.

To start call:
    python controller.py

The solver can then be controlled from the command line. An overview of the
available commands is printed on the screen.