LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/API_REFERENCE.md
docs/CLI_GUIDE.md
docs/archive/ACRQ_DEVELOPMENT_STATE.md
docs/archive/ACRQ_QUICK_START.md
docs/archive/ACrQ_BILATERAL_EXAMPLE.md
docs/archive/ACrQ_IMPLEMENTATION_GUIDE.md
docs/archive/ACrQ_TABLEAU_EXAMPLE.md
docs/archive/FERGUSON_2021_ANALYSIS.md
docs/archive/TABLEAU_OPTIMIZATIONS.md
docs/archive/wKrQ_API_REFERENCE.md
docs/archive/wKrQ_ARCHITECTURE.md
docs/archive/wKrQ_CLI_GUIDE.md
examples/validation.py
examples/archive/performance_showcase.py
examples/archive/philosophical_examples.py
examples/archive/quickstart.py
examples/archive/wkrq_basics.py
src/wkrq/__init__.py
src/wkrq/__main__.py
src/wkrq/acrq_parser.py
src/wkrq/acrq_parser_simple.py
src/wkrq/acrq_semantics.py
src/wkrq/acrq_tableau.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_acrq_integration.py
tests/test_acrq_parser.py
tests/test_acrq_semantics.py
tests/test_acrq_tableau.py
tests/test_bilateral_predicates.py
tests/test_cli_quantifiers.py
tests/test_ferguson_compliance.py
tests/test_first_order.py
tests/test_literature_cases.py
tests/test_performance_regression.py
tests/test_quantifier_unification.py
tests/test_semantic_validation.py
tests/test_wkrq_basic.py