.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
init.py
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/test.yml
docs/Makefile
docs/clingraph.png
docs/conf.py
docs/index.rst
docs/make.bat
docs/notebook.ipynb
docs/requirements.txt
docs/_static/logo-dark-mode.png
docs/_static/logo-light-mode.png
docs/_static/css/custom.css
docs/clingraph/api.rst
docs/clingraph/console.rst
docs/clingraph/installation.rst
docs/clingraph/svg.rst
docs/clingraph/syntax.rst
docs/clingraph/examples/color.md
docs/clingraph/examples/index.md
examples/README.md
examples/asprilo/README.md
examples/asprilo/asprilo_viz.lp
examples/asprilo/movie.gif
examples/asprilo/asprilo/action-MPP.lp
examples/asprilo/asprilo/asprilo.lp
examples/asprilo/asprilo/encoding-a.lp
examples/asprilo/asprilo/goal-D-a.lp
examples/asprilo/asprilo/highways.lp
examples/asprilo/asprilo/input.lp
examples/asprilo/asprilo/instance1.lp
examples/asprilo/asprilo/instance2.lp
examples/asprilo/asprilo/output-MPPD.lp
examples/asprilo/asprilo/quantities.lp
examples/asprilo/asprilo/sm.lp
examples/ast/README.md
examples/ast/color.lp
examples/ast/default.png
examples/ast/reify_ast.py
examples/ast/viz.lp
examples/color/README.md
examples/color/color.lp
examples/color/default.png
examples/cube/README.md
examples/cube/cube.lp
examples/doc/README.md
examples/doc/example1/example1.0.png
examples/doc/example1/example1.1.png
examples/doc/example1/example1.11.png
examples/doc/example1/example1.2.png
examples/doc/example1/example1.lp
examples/doc/example2/bills_family.png
examples/doc/example2/example2.lp
examples/doc/example2/toms_family.png
examples/doc/example3/example3.lp
examples/doc/example3/house.png
examples/doc/example3/house2.png
examples/doc/example4/example4-1.png
examples/doc/example4/example4-2.png
examples/doc/example4/example4-3.png
examples/doc/example4/example4-4.png
examples/doc/example4/example4.lp
examples/doc/example4/example4.png
examples/doc/example5/default_0.png
examples/doc/example5/default_1.png
examples/doc/example5/example5_encoding.lp
examples/doc/example5/example5_viz.lp
examples/doc/example6/default.png
examples/doc/example6/example6.lp
examples/doc/example6/latex.png
examples/doc/example7/example7.lp
examples/elevator/README.md
examples/elevator/encoding.lp
examples/elevator/instance.lp
examples/elevator/movie.gif
examples/elevator/viz.lp
examples/elevator/out/clingraph.gif
examples/elevator/out/images/0.png
examples/elevator/out/images/1.png
examples/elevator/out/images/10.png
examples/elevator/out/images/11.png
examples/elevator/out/images/12.png
examples/elevator/out/images/13.png
examples/elevator/out/images/14.png
examples/elevator/out/images/15.png
examples/elevator/out/images/2.png
examples/elevator/out/images/3.png
examples/elevator/out/images/4.png
examples/elevator/out/images/5.png
examples/elevator/out/images/6.png
examples/elevator/out/images/7.png
examples/elevator/out/images/8.png
examples/elevator/out/images/9.png
examples/family_tree/README.md
examples/family_tree/default.png
examples/family_tree/default.svg
examples/family_tree/encoding.lp
examples/family_tree/viz.lp
examples/lights/README.md
examples/lights/house_1.png
examples/lights/lights.lp
examples/mapf/README.md
examples/mapf/viz-plan.lp
examples/mapf/viz.lp
examples/mapf/instances/empty_x6_y6.lp
examples/mapf/instances/maze_s10_a15_h38.lp
examples/mapf/instances/plan-swap.lp
examples/mapf/instances/plan.lp
examples/mapf/instances/random_s10_a5_c50_h16.lp
examples/mapf/instances/random_x10_y10_a5_c75.lp
examples/mapf/instances/random_x8_y8_a3_c75.lp
examples/mapf/instances/room_s19_a5_w4_h25.lp
examples/mapf/instances/room_x10_y10_a5_w5.lp
examples/mapf/instances/room_x8_y8_a3_w5.lp
examples/mapf/instances/warehouse_x8_y8_a3_w5.lp
examples/minesweeper/README.md
examples/minesweeper/default.svg
examples/minesweeper/default1.png
examples/minesweeper/default2.png
examples/minesweeper/encoding.lp
examples/minesweeper/viz.lp
examples/minotaur/README.md
examples/minotaur/instance.lp
examples/minotaur/mino.png
examples/minotaur/minotaur.gif
examples/minotaur/minotaur.lp
examples/minotaur/viz.lp
examples/minotaur/warrior.png
examples/multi_edge/README.md
examples/multi_edge/default.png
examples/multi_edge/encoding.lp
examples/multi_edge/viz.lp
examples/office/README.md
examples/office/default.png
examples/office/instance.lp
examples/office/viz.lp
examples/propagator/README.md
examples/propagator/clingraph-prop.lp
examples/propagator/movie.gif
examples/propagator/sudoku/encoding.lp
examples/propagator/sudoku/instance.lp
examples/propagator/sudoku/viz-sudoku-solving.lp
examples/queens/README.md
examples/queens/default.png
examples/queens/encoding.lp
examples/queens/viz.lp
examples/queens_interactive/README.md
examples/queens_interactive/default.svg
examples/queens_interactive/encoding.lp
examples/queens_interactive/queens-1.png
examples/queens_interactive/queens-2.png
examples/queens_interactive/queens-3.png
examples/queens_interactive/viz.lp
examples/reify/README.md
examples/reify/default.png
examples/reify/program.lp
examples/reify/viz.lp
examples/shortest_path/README.md
examples/shortest_path/default.png
examples/shortest_path/encoding.lp
examples/shortest_path/viz.lp
examples/subgraphs/README.md
examples/subgraphs/encoding.lp
examples/subgraphs/house.png
examples/subgraphs/viz.lp
examples/sudoku/README.md
examples/sudoku/encoding.lp
examples/sudoku/instance.lp
examples/sudoku/model_0.png
examples/sudoku/model_1.png
examples/sudoku/viz.lp
examples/template/viz.lp
examples/transition_system/README.md
examples/transition_system/light_system.lp
examples/transition_system/system.pdf
examples/transition_system/system.png
examples/transition_system/system.tex
examples/transition_system/viz.lp
examples/traveling_sales_person/README.md
examples/traveling_sales_person/default.png
examples/traveling_sales_person/encoding.lp
examples/traveling_sales_person/instance.lp
examples/traveling_sales_person/viz.lp
examples/traveling_sales_person_clickable/README.md
examples/traveling_sales_person_clickable/default.svg
examples/traveling_sales_person_clickable/encoding.lp
examples/traveling_sales_person_clickable/instance.lp
examples/traveling_sales_person_clickable/viz.lp
examples/tree_expandable/1-tree.png
examples/tree_expandable/2-tree.png
examples/tree_expandable/3-tree.png
examples/tree_expandable/4-tree.png
examples/tree_expandable/README.md
examples/tree_expandable/default.svg
examples/tree_expandable/instance.lp
examples/tree_expandable/viz.lp
examples/uml_class/README.md
examples/uml_class/default.png
examples/uml_class/instance.lp
examples/uml_class/viz.lp
src/clingraph/__init__.py
src/clingraph/clingo_utils.py
src/clingraph/exceptions.py
src/clingraph/gif.py
src/clingraph/graphviz.py
src/clingraph/logger.py
src/clingraph/orm.py
src/clingraph/tex.py
src/clingraph/utils.py
src/clingraph.egg-info/PKG-INFO
src/clingraph.egg-info/SOURCES.txt
src/clingraph.egg-info/dependency_links.txt
src/clingraph.egg-info/entry_points.txt
src/clingraph.egg-info/requires.txt
src/clingraph.egg-info/scm_file_list.json
src/clingraph.egg-info/scm_version.json
src/clingraph.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_factbase.py
tests/test_graphviz.py
tests/utils.py