wkrq/__init__.py,sha256=hrqaZZWl-yuReaq6CMQWzx9nyaoWaISde7BPSQB_GlM,2433
wkrq/__main__.py,sha256=L1UOGwYmCidyxSGJAHzTpuBcsQALP94-quyHeHFRkzE,127
wkrq/acrq_parser.py,sha256=um50dwQXYlvgP-7QpEAryDK-4Xpwwm1iyryMhfImYCo,18415
wkrq/acrq_parser_simple.py,sha256=Fp-HoZoOraXVeNOx5cRIfUdvlKl02keR5zAOh8KRJTY,1838
wkrq/acrq_rules.py,sha256=hChsLi9xX92_NC46dacOqxexPBd5b2WPS8Cb2d3dObk,10270
wkrq/acrq_semantics.py,sha256=MlQajYU-Ag_56PjmTlipohLM_3gVQUn9Q6IZKvx1ibY,10064
wkrq/acrq_tableau.py,sha256=7L6hp4HeTk9CRwkahTeotxnMs4UvwlPbNgqgvyy_sqQ,301
wkrq/api.py,sha256=kknAFg5T_S25mGjbaKhfeFOOOge_ixZvhsnrhBYFqUU,5234
wkrq/bilateral_equivalence.py,sha256=3FiFcYyZbwlGuYMbok-CNYfNFN4Q9COY8fPUtUYo6CU,7277
wkrq/cli.py,sha256=dgLSb_cG3wyDgOgLZAtIs7yNNwvAeoGWJaaDerJsNxU,29896
wkrq/formula.py,sha256=0mAU7S3IWCo0LMe7wNjVH1xLFNBmGp4EVL0qOqgKkak,17092
wkrq/llm_integration.py,sha256=PLtUAZFMWWyQmeZSppOxc0O3zFAdzyD3ywD3Uq8lP6s,8794
wkrq/meta_sign_rules.py,sha256=9LpKOwKpZJGcrY2qJyWX_D29L23h4tDaPjaOP6XUqp8,1444
wkrq/parser.py,sha256=9gSoeMzZvjFsCen28iT93E-9ri02EfaZjDzKBiq5ACE,12400
wkrq/py.typed,sha256=IhvDN-1PK6JM-FgY0rPBwnw7xQdor9Qnorj4R4lfIyA,91
wkrq/semantics.py,sha256=7ByV47bDvjREZvbf_2RRY-k6ra6VneXAO5Eh6AkxyZg,8518
wkrq/signs.py,sha256=NrIW3wdHy2tgcyHNY6-NHO2F0G5ISmxHQCXc3iccCvE,3316
wkrq/tableau.py,sha256=FZpMaLF5-U0gTNKEft7_oiGS5BjAoO_O6Oph2ku5FJg,35377
wkrq/tableau_trace.py,sha256=Om2uKnUrk6cJQwhMJDC4m2wPT8xzuFksI6Af7GFqrv8,6078
wkrq/theory_cli.py,sha256=TvdBgdKyeHZ38EhUob-qgBJJuzhnyKWhQhByMLGl51E,40515
wkrq/theory_manager.py,sha256=zRdE0NYiLke5pP72oG8AvHirXh0C1SoxWsBVlcjYAlc,27192
wkrq/wkrq_rules.py,sha256=HX7WYpXlF-cWkhINsIG75SLC-32Dfh18gXiL6SOrMoc,28346
wkrq-3.3.1.dist-info/licenses/LICENSE,sha256=orNxt3Xfn1QxvzFmpaLJJmKrbcEgKTNzCANinPH0FyA,1072
wkrq-3.3.1.dist-info/METADATA,sha256=JEj2iv15Jv9vPiCN-sOSQNYgW194bIOugN0vOrlMrOA,20319
wkrq-3.3.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
wkrq-3.3.1.dist-info/entry_points.txt,sha256=ditSM2GKlQ3Z6fkkdZSLhAaCwi5qVmo51rkaeZBpeHk,71
wkrq-3.3.1.dist-info/top_level.txt,sha256=yIBt63elhXyiIyVNIBTkVmUR_iG1JaaTQJoJTfUBbTs,5
wkrq-3.3.1.dist-info/RECORD,,
