LICENSE
MANIFEST.in
README.md
setup.py
deolingo/__init__.py
deolingo/__main__.py
deolingo/_answer_set_rewriter.py
deolingo/_application.py
deolingo/_ast_rewriting_transformer.py
deolingo/_ast_transformer.py
deolingo/_benchmark.py
deolingo/_deolingo_theory.py
deolingo/_deontic_atom.py
deolingo/_deontic_rules.py
deolingo/_generator.py
deolingo/_rewriting_translator.py
deolingo/_telingo_app.py
deolingo/_translator.py
deolingo/_version.py
deolingo/control.py
deolingo/deolingo_theory.lp
deolingo/deontic_rules.lp
deolingo/examples.py
deolingo/rewriting_control.py
deolingo/solver.py
deolingo/xcontrol.py
deolingo/xsolver.py
deolingo.egg-info/PKG-INFO
deolingo.egg-info/SOURCES.txt
deolingo.egg-info/dependency_links.txt
deolingo.egg-info/entry_points.txt
deolingo.egg-info/requires.txt
deolingo.egg-info/top_level.txt
deolingo/domain/__init__.py
deolingo/domain/explain_deontic_program_command.py
deolingo/domain/generate_deontic_program_command.py
deolingo/domain/run_benchmark_command.py
deolingo/domain/solve_deontic_program_command.py
deolingo/domain/solve_temporal_deontic_program_command.py
deolingo/domain/use_case_command.py
deolingo/examples/benchmark/example1.lp
deolingo/examples/benchmark/example2.lp
deolingo/examples/benchmark/example3.lp
deolingo/examples/benchmark/example4.lp
deolingo/examples/benchmark/example5.lp
deolingo/examples/benchmark/example6.lp
deolingo/examples/benchmark/example7.lp
deolingo/examples/benchmark/example8.lp
deolingo/examples/delx/example1.1.lp
deolingo/examples/delx/example1.2.lp
deolingo/examples/delx/example2.lp
deolingo/examples/delx/example3.lp
deolingo/examples/delx/example4.lp
deolingo/examples/delx/example5.1.lp
deolingo/examples/delx/example5.2.lp
deolingo/examples/delx/example6.1.lp
deolingo/examples/delx/example6.2.alt.lp
deolingo/examples/delx/example6.2.lp
deolingo/examples/delxx/example1.1.lp
deolingo/examples/delxx/example1.2.lp
deolingo/examples/delxx/example2.lp
deolingo/examples/delxx/example3.lp
deolingo/examples/delxx/example4.lp
deolingo/examples/delxx/example5.1.lp
deolingo/examples/delxx/example5.2.lp
deolingo/examples/delxx/example6.1.lp
deolingo/examples/delxx/example6.2.lp
deolingo/examples/other/detachment.lp
deolingo/examples/other/traffic120.lp
deolingo/examples/other/udhr.lp
deolingo/examples/plato/chisholms_puzzle.alt.lp
deolingo/examples/plato/chisholms_puzzle.alt2.lp
deolingo/examples/plato/chisholms_puzzle_path1.lp
deolingo/examples/plato/chisholms_puzzle_path2.lp
deolingo/examples/plato/chisholms_puzzle_path3.lp
deolingo/examples/plato/chisholms_puzzle_x.lp
deolingo/examples/plato/chisholms_puzzle_x2.lp
deolingo/examples/preliminary/example1.lp
deolingo/examples/preliminary/example2.lp
deolingo/examples/preliminary/example3.lp
deolingo/examples/preliminary/example4.lp
deolingo/examples/preliminary/example5.lp
deolingo/examples/real/udc_library.case1.1.lp
deolingo/examples/real/udc_library.case1.2.lp
deolingo/examples/real/udc_library.case1.3.lp
deolingo/examples/real/udc_library.case1.lp
deolingo/examples/real/udc_library.kb.lp
deolingo/examples/telingo/example1.lp
deolingo/examples/xclingo/dont_drive_drunk.1.lp
deolingo/examples/xclingo/dont_drive_drunk.2.lp
deolingo/examples/xclingo/dont_drive_drunk.lp
deolingo/examples/xclingo/example1.lp
deolingo/examples/xclingo/example2.lp
deolingo/examples/xclingo/example4.lp
tests/__init__.py
tests/test_ast_rewriting_transformer.py
tests/test_delx_examples.py
tests/test_deolingo_translator.py
tests/test_preliminary_examples.py
tests/test_regression.py