LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/ACRQ_DEVELOPMENT_STATE.md
docs/ACRQ_FERGUSON_IMPLEMENTATION.md
docs/ACRQ_QUICK_START.md
docs/ACrQ_BILATERAL_EXAMPLE.md
docs/ACrQ_IMPLEMENTATION_GUIDE.md
docs/ACrQ_TABLEAU_EXAMPLE.md
docs/API_REFERENCE.md
docs/CLI_GUIDE.md
docs/FERGUSON_2021_ANALYSIS.md
docs/FERGUSON_TABLEAU_ALIGNMENT_PLAN.md
docs/TABLEAU_OPTIMIZATIONS.md
docs/wKrQ_API_REFERENCE.md
docs/wKrQ_ARCHITECTURE.md
docs/wKrQ_CLI_GUIDE.md
docs/wKrQ_vs_ACrQ_COMPARISON.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/acrq_demo.py
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_ferguson_rules.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/ferguson_rules.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_ferguson.py
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_ferguson_exact.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