.gitignore
LICENSE
MANIFEST.in
MeTeoR.png
README.md
modules.png
setup.cfg
setup.py
experiments/JWS/meteor_mock.py
experiments/JWS/readme.md
experiments/JWS/sr_mock.py
experiments/JWS/programs/efficient_shortbreak.txt
experiments/JWS/programs/meteor_nonrecursive.txt
experiments/JWS/programs/meteor_recursive.txt
experiments/JWS/programs/simple_shortbreak_1.txt
experiments/JWS/programs/traffic_shortbreak_2.txt
experiments/KR2022/README.md
experiments/KR2022/programs/case_0_dataset.txt
experiments/KR2022/programs/case_0_program.txt
experiments/KR2022/programs/case_1_dataset.txt
experiments/KR2022/programs/case_1_program.txt
experiments/KR2022/programs/case_2_dataset.txt
experiments/KR2022/programs/case_2_program.txt
experiments/KR2022/programs/case_3_dataset.txt
experiments/KR2022/programs/case_3_program.txt
experiments/KR2022/programs/case_4_dataset.txt
experiments/KR2022/programs/case_4_program.txt
experiments/KR2022/programs/case_5_dataset.txt
experiments/KR2022/programs/case_5_program.txt
experiments/KR2022/programs/case_6_dataset.txt
experiments/KR2022/programs/case_6_program.txt
experiments/KR2022/programs/case_7_dataset.txt
experiments/KR2022/programs/case_7_program.txt
experiments/KR2022/programs/case_8_dataset.txt
experiments/KR2022/programs/case_8_program.txt
experiments/RR2022/Appendix.pdf
experiments/RR2022/naive.py
experiments/RR2022/optimisation.py
experiments/RR2022/seminaive.py
meteor_reasoner/__init__.py
meteor_reasoner/version.py
meteor_reasoner.egg-info/PKG-INFO
meteor_reasoner.egg-info/SOURCES.txt
meteor_reasoner.egg-info/dependency_links.txt
meteor_reasoner.egg-info/requires.txt
meteor_reasoner.egg-info/top_level.txt
meteor_reasoner/automata/__init__.py
meteor_reasoner/automata/automaton.py
meteor_reasoner/automata/buichi_automata.py
meteor_reasoner/automata/consistency_check.py
meteor_reasoner/automata/guess.py
meteor_reasoner/automata/satisfy.py
meteor_reasoner/automata/utils.py
meteor_reasoner/automata/window.py
meteor_reasoner/canonical/__init__.py
meteor_reasoner/canonical/calculate_w.py
meteor_reasoner/canonical/canonical_representation.py
meteor_reasoner/canonical/class_common_fragment.py
meteor_reasoner/canonical/utils.py
meteor_reasoner/classes/__init__.py
meteor_reasoner/classes/atom.py
meteor_reasoner/classes/interval.py
meteor_reasoner/classes/literal.py
meteor_reasoner/classes/recorder.py
meteor_reasoner/classes/rule.py
meteor_reasoner/classes/term.py
meteor_reasoner/entailment/__init__.py
meteor_reasoner/entailment/entail.py
meteor_reasoner/graphutil/__init__.py
meteor_reasoner/graphutil/finite_materialisable.py
meteor_reasoner/graphutil/graph.py
meteor_reasoner/graphutil/graph_strengthening.py
meteor_reasoner/graphutil/multigraph.py
meteor_reasoner/graphutil/temporal_dependency_graph.py
meteor_reasoner/graphutil/topological_sort.py
meteor_reasoner/materialization/__init__.py
meteor_reasoner/materialization/apply.py
meteor_reasoner/materialization/coalesce.py
meteor_reasoner/materialization/ground.py
meteor_reasoner/materialization/index_build.py
meteor_reasoner/materialization/join_util.py
meteor_reasoner/materialization/materialize.py
meteor_reasoner/materialization/naive_join.py
meteor_reasoner/materialization/seminaive_join.py
meteor_reasoner/materialization/t_operator.py
meteor_reasoner/materialization/utils.py
meteor_reasoner/stream/__init__.py
meteor_reasoner/stream/stream_generator.py
meteor_reasoner/stream/utils.py
meteor_reasoner/utils/__init__.py
meteor_reasoner/utils/conversion.py
meteor_reasoner/utils/entail_check.py
meteor_reasoner/utils/loader.py
meteor_reasoner/utils/normalize.py
meteor_reasoner/utils/operate_dataset.py
meteor_reasoner/utils/parser.py
meteor_reasoner/utils/propagation.py
meteor_reasoner/utils/ruler_interval.py
test/mat.py
test/test_apply.py
test/test_automata.py
test/test_canonical.py
test/test_cycle.py
test/test_finite_materialisability.py
test/test_ground.py
test/test_interval.py
test/test_mat.py
test/test_multigraph.py
test/test_parser.py
test/test_strengthening.py
test/test_w.py