LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
docs/API.md
docs/ARCHITECTURE.md
docs/CLI.md
docs/EXAMPLES.md
docs/README.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
examples/acrq_demo.py
examples/acrq_quantifier_bilateral.py
examples/bilateral_truth_integration.py
examples/llm_integration_example.py
examples/penguin_branching_tree.py
examples/penguin_cli_tableau.py
examples/penguin_complex_tree.py
examples/penguin_detailed_trace.py
examples/penguin_example.py
examples/penguin_paraconsistent.py
examples/penguin_simple.py
examples/penguin_tableau_trace.py
examples/pluto_bilateral_correct.py
examples/pluto_comprehensive.py
examples/pluto_integrated_proof.py
examples/pluto_llm_integration_demo.py
examples/pluto_single_proof.py
examples/pluto_traced_construction.py
examples/simple_bilateral_usage.py
examples/validation.py
examples/debug_traces/convert_to_clean_latex.py
examples/debug_traces/convert_validation_to_latex.py
examples/debug_traces/convert_validation_to_latex_v2.py
examples/debug_traces/generate_complete_validation.py
examples/debug_traces/generate_comprehensive_validation.py
examples/debug_traces/generate_test_report.py
examples/debug_traces/generate_validation_document.py
examples/debug_traces/generate_validation_report.py
examples/debug_traces/test_branch_structure.py
examples/debug_traces/test_closure_debug.py
examples/debug_traces/test_closure_marks.py
examples/debug_traces/test_complete_rule_viz.py
examples/debug_traces/test_conjunction_debug.py
examples/debug_traces/test_debug.py
examples/debug_traces/test_general_tracing.py
examples/debug_traces/test_llm_eval_debug.py
examples/debug_traces/test_node5_debug.py
examples/debug_traces/test_pluto_branches.py
examples/debug_traces/test_pluto_debug.py
examples/debug_traces/test_sedna_dual.py
examples/debug_traces/test_sedna_dual_v2.py
examples/debug_traces/test_sedna_dual_v3.py
examples/debug_traces/test_sedna_gap.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/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/tableau_trace.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_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_ferguson_validation.py
tests/test_first_order.py
tests/test_literature_cases.py
tests/test_performance_regression.py
tests/test_quantifier_bug.py
tests/test_quantifier_unification.py
tests/test_semantic_validation.py
tests/test_theoretical_clarity.py
tests/test_validation_examples.py
tests/test_wkrq_basic.py