This example shows how to enumerate brave consequences using clingo's ability
to intercept models.

Example calls:
    clingo brave.lp example.lp
