Dot propagator

Unlike the dot propagator, this dot propagator works on dot instead of dot.

To use it, just feed clingo with dotpropagator.lp and any asp program (some exemples in test_cases/).

With something like clingo 0 dotpropagator.lp test_cases/tree.lp ; dot -Tpng out/out.dot > out.png ; xdg-open out.png, you should get something like:

(see tree.lp)

We can see the different state reached by the solver as nodes, plain arrows as propagation, dotted arrows as backtracking, and green nodes as states yielding a stable model.

TODO

• handle nogood
• output options
• final node mark
• more examples