LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/API.md
docs/ARCHITECTURE_OVERVIEW.md
docs/BILATERAL_EQUIVALENCE_IMPLEMENTATION.md
docs/CLI.md
docs/DEMORGAN_IMPLEMENTATION_COMPLETE.md
docs/EXAMPLES.md
docs/FERGUSON_DEFINITIONS.md
docs/FERGUSON_DEFINITION_17_BILATERAL.md
docs/FERGUSON_DEFINITION_18_ACRQ.md
docs/FERGUSON_DEFINITION_9_COMPLETE.md
docs/FERGUSON_LEMMA_5_CLOSURE.md
docs/FERGUSON_QUANTIFIER_DEFINITIONS.md
docs/FERGUSON_THEOREMS_3_4_ACRQ.md
docs/IMPLEMENTATION_DESIGN_DECISIONS.md
docs/IMPLEMENTATION_VERIFICATION.md
docs/LLM_RULE_FORMAL_SPECIFICATION.md
docs/README.md
docs/SOUNDNESS_COMPLETENESS_UPDATE.md
docs/TABLEAU_WALKTHROUGH_GUIDE.md
docs/THEORY_MANAGEMENT.md
docs/THEORY_MANAGER_TUTORIAL.md
docs/archive/ACRQ_DEVELOPMENT_STATE.md
docs/archive/ACRQ_FERGUSON_IMPLEMENTATION.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/API_REFERENCE.md
docs/archive/CLI_GUIDE.md
docs/archive/COMPLETE_VALIDATION.md
docs/archive/FERGUSON_2021_ANALYSIS.md
docs/archive/FERGUSON_TABLEAU_ALIGNMENT_PLAN.md
docs/archive/TABLEAU_OPTIMIZATIONS.md
docs/archive/VALIDATION.md
docs/archive/VALIDATION_COMPREHENSIVE.md
docs/archive/test_formulas_reference.md
docs/archive/validation_report.md
docs/archive/wKrQ_API_REFERENCE.md
docs/archive/wKrQ_ARCHITECTURE.md
docs/archive/wKrQ_CLI_GUIDE.md
docs/archive/wKrQ_vs_ACrQ_COMPARISON.md
docs/archive_old/ACRQ_IMPLEMENTATION_GAP_ANALYSIS.md
docs/archive_old/COMPLETE_FERGUSON_ANALYSIS.md
docs/archive_old/CRITICAL_BUGS.md
docs/archive_old/DEMORGAN_ANALYSIS.md
docs/archive_old/FERGUSON_AC_AND_BILATERAL.md
docs/archive_old/FERGUSON_BILATERAL_QUANTIFICATION.md
docs/archive_old/FERGUSON_CALL_DEMO_SUMMARY.md
docs/archive_old/FERGUSON_CALL_PRESENTATION_PLAN.md
docs/archive_old/FERGUSON_COMPLETENESS_AND_BILATERAL.md
docs/archive_old/FERGUSON_COMPLETE_REFERENCES.md
docs/archive_old/FERGUSON_DEFINITIONS_10_11.md
docs/archive_old/FERGUSON_DEFINITION_19_SRQ.md
docs/archive_old/FERGUSON_DEFINITION_9_VERIFICATION.md
docs/archive_old/FERGUSON_PAPER_CONCLUSION.md
docs/archive_old/FERGUSON_PAPER_FINAL_SUMMARY.md
docs/archive_old/FERGUSON_PAPER_VERIFICATION_COMPLETE.md
docs/archive_old/FERGUSON_REJECTED_QUANTIFIERS.md
docs/archive_old/FERGUSON_VALIDATION_WITH_LLM.md
docs/archive_old/IMPLEMENTATION_DISCREPANCIES.md
docs/archive_old/NEXT_VERIFICATION_STEPS.md
docs/archive_old/PENDING_ISSUES.md
docs/archive_old/QUANTIFIER_IMPLEMENTATION_ANALYSIS.md
docs/archive_old/REMAINING_TEST_FAILURES.md
docs/archive_old/RULE_SPECIFICATION.md
docs/archive_old/SYSTEMATIC_VERIFICATION_COMPLETE.md
docs/archive_old/TABLEAU_VERIFICATION_PLAN.md
docs/archive_old/TEST_FAILURE_ANALYSIS.md
docs/archive_old/VERIFICATION_FINAL_STATUS.md
examples/01_basic_wkrq.py
examples/02_quantifier_reasoning.py
examples/03_acrq_bilateral.py
examples/04_llm_integration.py
examples/05_theory_management.py
examples/06_cli_with_llm.py
src/wkrq/__init__.py
src/wkrq/__main__.py
src/wkrq/acrq_parser.py
src/wkrq/acrq_parser_simple.py
src/wkrq/acrq_rules.py
src/wkrq/acrq_semantics.py
src/wkrq/acrq_tableau.py
src/wkrq/api.py
src/wkrq/bilateral_equivalence.py
src/wkrq/cli.py
src/wkrq/formula.py
src/wkrq/llm_integration.py
src/wkrq/meta_sign_rules.py
src/wkrq/parser.py
src/wkrq/py.typed
src/wkrq/semantics.py
src/wkrq/signs.py
src/wkrq/tableau.py
src/wkrq/tableau_trace.py
src/wkrq/theory_cli.py
src/wkrq/theory_manager.py
src/wkrq/wkrq_rules.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_demorgan.py
tests/test_acrq_demorgan_simple.py
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_closure.py
tests/test_bilateral_predicates.py
tests/test_branch_closure.py
tests/test_cli_quantifiers.py
tests/test_critical_bugs.py
tests/test_ferguson_compliance.py
tests/test_ferguson_exact.py
tests/test_ferguson_validation.py
tests/test_first_order.py
tests/test_literature_cases.py
tests/test_llm_integration.py
tests/test_llm_rule_validation.py
tests/test_performance_regression.py
tests/test_property_based.py
tests/test_quantifier_bug.py
tests/test_quantifier_ferguson_compliance.py
tests/test_quantifier_unification.py
tests/test_rule_verification.py
tests/test_semantic_crosscheck.py
tests/test_semantic_validation.py
tests/test_soundness_completeness_proofs.py
tests/test_theoretical_clarity.py
tests/test_tree_connectivity.py
tests/test_validation_examples.py
tests/test_wkrq_basic.py