{"id":19320593,"url":"https://github.com/aluriak/dot-propagator","last_synced_at":"2026-05-14T01:39:07.832Z","repository":{"id":143140962,"uuid":"114921883","full_name":"Aluriak/dot-propagator","owner":"Aluriak","description":"Like the dot propagator, but with dot instead of dots.","archived":false,"fork":false,"pushed_at":"2017-12-20T19:28:02.000Z","size":50,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-06T05:12:13.553Z","etag":null,"topics":["answer-set-programming","dot","propagator"],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Aluriak.png","metadata":{"files":{"readme":"README.mkd","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-12-20T19:09:23.000Z","updated_at":"2017-12-20T19:11:46.000Z","dependencies_parsed_at":"2023-04-13T21:02:57.520Z","dependency_job_id":null,"html_url":"https://github.com/Aluriak/dot-propagator","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aluriak%2Fdot-propagator","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aluriak%2Fdot-propagator/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aluriak%2Fdot-propagator/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Aluriak%2Fdot-propagator/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Aluriak","download_url":"https://codeload.github.com/Aluriak/dot-propagator/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240421670,"owners_count":19798617,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["answer-set-programming","dot","propagator"],"created_at":"2024-11-10T01:29:41.591Z","updated_at":"2026-05-14T01:39:02.812Z","avatar_url":"https://github.com/Aluriak.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Dot propagator\nUnlike [the dot propagator](https://github.com/potassco/clingo/tree/master/examples/clingo/dot-propagator),\nthis 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).\n\nTo use it, just feed clingo with `dotpropagator.lp` and any asp program (some exemples in [test_cases/](test_cases/)).\n\nWith something like `clingo 0 dotpropagator.lp test_cases/tree.lp ; dot -Tpng out/out.dot \u003e out.png ; xdg-open out.png`, you should get something like:\n\n![visualization from the dot generated by the propagator](out/tree.png)\n(see [tree.lp](test_cases/tree.lp))\n\nWe can see the different state reached by the solver as nodes, plain arrows as propagation, dotted arrows as backtracking,\nand green nodes as states yielding a stable model.\n\n\n### TODO\n\n- [ ] handle nogood\n- [ ] output options\n- [ ] final node mark\n- [ ] more examples\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faluriak%2Fdot-propagator","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Faluriak%2Fdot-propagator","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faluriak%2Fdot-propagator/lists"}