LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/wKrQ_API_REFERENCE.md
docs/wKrQ_ARCHITECTURE.md
docs/wKrQ_CLI_GUIDE.md
examples/performance_showcase.py
examples/philosophical_examples.py
examples/quickstart.py
examples/wkrq_basics.py
src/wkrq/__init__.py
src/wkrq/__main__.py
src/wkrq/api.py
src/wkrq/cli.py
src/wkrq/formula.py
src/wkrq/parser.py
src/wkrq/py.typed
src/wkrq/semantics.py
src/wkrq/signs.py
src/wkrq/tableau.py
src/wkrq.egg-info/PKG-INFO
src/wkrq.egg-info/SOURCES.txt
src/wkrq.egg-info/dependency_links.txt
src/wkrq.egg-info/entry_points.txt
src/wkrq.egg-info/requires.txt
src/wkrq.egg-info/top_level.txt
tests/test_cli_quantifiers.py
tests/test_first_order.py
tests/test_literature_cases.py
tests/test_performance_regression.py
tests/test_quantifier_unification.py
tests/test_subsumption.py
tests/test_wkrq_basic.py