.
├── dist
│   ├── xclingo-2.0b21-py3-none-any.whl
│   └── xclingo-2.0b21.tar.gz
├── examples
│   ├── 4graphs.lp
│   ├── access_to2.lp
│   ├── access_to.lp
│   ├── anon.lp
│   ├── api_example.ipynb
│   ├── conditional_literal.lp
│   ├── count_aggregate.lp
│   ├── crypto.lp
│   ├── crypto_mod.lp
│   ├── crypto_noreif.lp
│   ├── crypto_t.lp
│   ├── diag_example
│   │   ├── diagc.lp
│   │   ├── diag.lp
│   │   ├── out
│   │   │   ├── explanation1-1_complete_explanation.png
│   │   │   ├── explanation1-1_explanation.png
│   │   │   ├── explanation1-1_h(light,off,1).png
│   │   │   ├── explanation1-1_h(relayline,off,1).png
│   │   │   ├── explanation2-1_complete_explanation.png
│   │   │   ├── explanation2-1_explanation.png
│   │   │   ├── explanation2-1_h(light,off,1).png
│   │   │   ├── explanation2-1_h(relayline,off,1).png
│   │   │   ├── explanation3-1_complete_explanation.png
│   │   │   ├── explanation3-1_explanation.png
│   │   │   ├── explanation3-1_h(light,off,1).png
│   │   │   └── explanation3-1_h(relayline,on,1).png
│   │   ├── relayc.lp
│   │   ├── relay.lp
│   │   ├── story1.lp
│   │   └── story2.lp
│   ├── diamond.lp
│   ├── diamond_with_mute.lp
│   ├── dont_drive_drunk.lp
│   ├── dont_drive_drunk_or.lp
│   ├── example_with_constraint.lp
│   ├── gentle-killer
│   │   ├── gentle-killer.lp
│   │   └── obligations.lp
│   ├── graph_coloring1.lp
│   ├── graph_coloring2.lp
│   ├── happy.lp
│   ├── kk.lp
│   ├── krones-unsat
│   │   ├── bicycle_sat_instance.lp
│   │   ├── bicycle_unsat_instance.lp
│   │   ├── core.lp
│   │   ├── kk.lp
│   │   ├── kk_unsat.lp
│   │   ├── unsat-explainer-program.lp
│   │   └── unsat-solver-program.lp
│   ├── krr_seminar
│   │   ├── ex1.lp
│   │   ├── ex2_dont_drive_drunk.lp
│   │   ├── ex3_constraints.lp
│   │   └── ex4_diamond.lp
│   ├── nested.lp
│   ├── parts
│   │   ├── p1.lp
│   │   ├── p2.lp
│   │   └── p3.lp
│   ├── planning_cpm -> /home/velka/projs/asp/planning_cpm/
│   ├── polluted_river
│   │   ├── example_polluted_river_annotated.lp
│   │   ├── example_polluted_river_annotated_output_xclingo.txt
│   │   ├── example_polluted_river.lp
│   │   └── example_polluted_river_output_xclingo.txt
│   ├── pool_and_choice2.lp
│   ├── pool_and_choice.lp
│   ├── potassco-week3
│   │   ├── example1
│   │   │   ├── custom_expl.lp
│   │   │   ├── debug_expl.lp
│   │   │   ├── myproblem.lp
│   │   │   ├── query.lp
│   │   │   ├── README.md
│   │   │   └── script.py
│   │   ├── example3
│   │   │   ├── abduction.lp
│   │   │   ├── cq_prison_clare.lp
│   │   │   ├── custom_expl.lp
│   │   │   ├── debug_expl.lp
│   │   │   ├── jj.lp
│   │   │   ├── myproblem.lp
│   │   │   ├── query.lp
│   │   │   └── README.md
│   │   └── example_interactive
│   │       ├── custom_expl.lp
│   │       ├── myproblem2.lp
│   │       ├── query.lp
│   │       ├── README.md
│   │       └── script.py
│   ├── ruleml2022
│   │   ├── ex1.lp
│   │   └── ex2.lp
│   ├── single
│   │   ├── single-strongneg2.lp
│   │   └── single-strongneg.lp
│   ├── sudoku_input.lp
│   ├── sudoku.lp
│   ├── temporal_explaining.py
│   ├── trapped_agent.lp
│   └── unbalanced_table.lp
├── kk.txt
├── LICENSE
├── Makefile
├── out
│   ├── images
│   │   ├── gif_image_h(light,on,8)_0.png
│   │   └── gif_image_h(relayline,off,8)_0.png
│   ├── movie.gif
│   └── ruleml2022
│       └── example1
│           ├── ex1_2-1_explanation.png
│           └── ex1_2-2_explanation.png
├── pyproject.toml
├── README.md
├── scripts
│   ├── local
│   │   └── clean_branches.sh
│   ├── README.md
│   └── update_tests.sh
├── src
│   └── xclingo
│       ├── _arguments_handler.py
│       ├── error
│       │   └── __init__.py
│       ├── explainer
│       │   ├── error
│       │   │   └── __init__.py
│       │   ├── _explainer.py
│       │   ├── __init__.py
│       │   ├── _logger.py
│       │   └── _utils.py
│       ├── explanation
│       │   ├── _graph.py
│       │   └── __init__.py
│       ├── extensions
│       │   ├── autotrace_all.lp
│       │   ├── autotrace_facts.lp
│       │   ├── graph_locals.lp
│       │   ├── graph_styles.lp
│       │   ├── __init__.py
│       │   ├── violated_constraints_minimize.lp
│       │   └── violated_constraints_show_trace.lp
│       ├── __init__.py
│       ├── __main__.py
│       ├── _main.py
│       ├── preprocessor
│       │   ├── __init__.py
│       │   ├── _pipeline.py
│       │   ├── _preprocessor.py
│       │   ├── _transformer.py
│       │   ├── _translator.py
│       │   └── xclingo_ast
│       │       ├── _ast_shortcuts.py
│       │       ├── __init__.py
│       │       └── _xclingo_ast.py
│       ├── _utils.py
│       ├── _version.py
│       └── xclingo_lp
│           ├── causes.lp
│           ├── __init__.py
│           ├── xclingo_fired.lp
│           ├── xclingo_graph.lp
│           └── xclingo_show.lp
└── tests
    ├── __pycache__
    │   ├── test_Preprocessor.cpython-38-pytest-6.2.5.pyc
    │   ├── test_Utils.cpython-38-pytest-6.2.5.pyc
    │   ├── test_xclingo.cpython-310-pytest-8.3.5.pyc
    │   ├── test_xclingo.cpython-312-pytest-9.0.3.pyc
    │   ├── test_xclingo.cpython-38-pytest-6.2.5.pyc
    │   ├── test_xclingo.cpython-39-pytest-6.2.4.pyc
    │   └── test_XClingoPreprocessor.cpython-38-pytest-6.2.5.pyc
    ├── test_xclingo
    │   ├── 4graphs_res.pickle
    │   ├── 4graphs_test.lp
    │   ├── _annotation_operator_res.pickle
    │   ├── _annotation_operator_test.lp
    │   ├── _cond_lit_res.pickle
    │   ├── _cond_lit_test.lp
    │   ├── constraint1_res.pickle
    │   ├── constraint1_test.lp
    │   ├── count_aggregate_res.pickle
    │   ├── count_aggregate_test.lp
    │   ├── diag_res.pickle
    │   ├── diag_test.lp
    │   ├── diamond_with_mute_res.pickle
    │   ├── diamond_with_mute_test.lp
    │   ├── disyunction_res.pickle
    │   ├── disyunction_test.lp
    │   ├── dont_drive_drunk_res.pickle
    │   ├── dont_drive_drunk_test.lp
    │   ├── happy_res.pickle
    │   ├── happy_test.lp
    │   ├── _ignore_non_labelled_constraints_res.pickle
    │   ├── _ignore_non_labelled_constraints_test.lp
    │   ├── ignore_shows_res.pickle
    │   ├── ignore_shows_test.lp
    │   ├── _mute_body_res.pickle
    │   ├── _mute_body_test.lp
    │   ├── obligations_gentle_killer_res.pickle
    │   ├── obligations_gentle_killer_test.lp
    │   ├── pool_and_choice2_res.pickle
    │   ├── pool_and_choice2_test.lp
    │   ├── pool_and_choice_res.pickle
    │   ├── pool_and_choice_test.lp
    │   ├── _showtrace_1_res.pickle
    │   ├── _showtrace_1_test.lp
    │   ├── _showtrace_2_res.pickle
    │   ├── _showtrace_2_test.lp
    │   ├── _showtrace_3_res.pickle
    │   ├── _showtrace_3_test.lp
    │   ├── single_strongneg_res.pickle
    │   ├── single_strongneg_test.lp
    │   ├── _trace_1_res.pickle
    │   ├── _trace_1_test.lp
    │   ├── _trace_2_res.pickle
    │   ├── _trace_2_test.lp
    │   ├── _trace_3_res.pickle
    │   ├── _trace_3_test.lp
    │   ├── unbalanced_table_res.pickle
    │   └── unbalanced_table_test.lp
    └── test_xclingo.py

35 directories, 194 files
