https://github.com/aluriak/dot-propagator

Like the dot propagator, but with dot instead of dots.
https://github.com/aluriak/dot-propagator

answer-set-programming dot propagator

Last synced: 19 days ago
JSON representation

Like the dot propagator, but with dot instead of dots.

• Host: GitHub
• URL: https://github.com/aluriak/dot-propagator
• Owner: Aluriak
• Created: 2017-12-20T19:09:23.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-12-20T19:28:02.000Z (over 8 years ago)
• Last Synced: 2025-01-06T05:12:13.553Z (over 1 year ago)
• Topics: answer-set-programming, dot, propagator
• Language: Python
• Size: 48.8 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.mkd

Awesome Lists containing this project

README

          
# Dot propagator

Unlike [the dot propagator](https://github.com/potassco/clingo/tree/master/examples/clingo/dot-propagator),

this dot propagator works on [dot](https://en.wikipedia.org/wiki/DOT%20(graph%20description%20language)) instead of [dot](https://en.wikipedia.org/wiki/Full%20stop).

To use it, just feed clingo with `dotpropagator.lp` and any asp program (some exemples in [test_cases/](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:

![visualization from the dot generated by the propagator](out/tree.png)

(see [tree.lp](test_cases/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