This example shows how to add clauses/nogoods in the model callback.

Example calls:
    clingo addclause-py.lp 0
    clingo addclause-lua.lp 0
