LICENSE
MANIFEST.in
README.md
pyproject.toml
experiments/benchmarks/animals.lp
experiments/benchmarks/blocks.lp
experiments/benchmarks/epidemic.lp
experiments/benchmarks/event_calculus.lp
experiments/benchmarks/grandfather.lp
experiments/benchmarks/penguins.lp
experiments/benchmarks/propositional.lp
experiments/benchmarks/sugar.lp
experiments/benchmarks/traffic.lp
experiments/benchmarks/trains.lp
tests/test_benchmarks.py
tests/test_cli.py
tests/test_internals.py
tests/test_language.py
tests/test_new_features.py
tests/test_phase0_regression.py
tests/test_pipeline_edge_cases.py
tests/test_public_api.py
xhail/__init__.py
xhail/cli.py
xhail/core.py
xhail.egg-info/PKG-INFO
xhail.egg-info/SOURCES.txt
xhail.egg-info/dependency_links.txt
xhail.egg-info/entry_points.txt
xhail.egg-info/requires.txt
xhail.egg-info/top_level.txt
xhail/language/__init__.py
xhail/language/structures.py
xhail/language/terms.py
xhail/parser/__init__.py
xhail/parser/parser.py
xhail/reasoning/__init__.py
xhail/reasoning/abduction.py
xhail/reasoning/deduction.py
xhail/reasoning/induction.py
xhail/reasoning/model.py
xhail/reasoning/utils.py