wkrq/__init__.py,sha256=7LWMpC4ylS4SbfxfgzEcCG6vqfaa_Ba4a3owYkS0_Fo,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=lIeK2IWmMAODemyuvopVwRCsIgsig0ThUvPxIglwlxI,43207
wkrq/theory_manager.py,sha256=5MaO47SrRarNAlZZEbnvmqpmxQmcQDG0qpOIs-Mu0H4,26795
wkrq/wkrq_rules.py,sha256=HX7WYpXlF-cWkhINsIG75SLC-32Dfh18gXiL6SOrMoc,28346
wkrq-3.3.2.dist-info/licenses/LICENSE,sha256=orNxt3Xfn1QxvzFmpaLJJmKrbcEgKTNzCANinPH0FyA,1072
wkrq-3.3.2.dist-info/METADATA,sha256=e5GkeZPpQ5NctqMOc0MJARLZ96V5awbjk8wCJSAUf8U,20319
wkrq-3.3.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
wkrq-3.3.2.dist-info/entry_points.txt,sha256=ditSM2GKlQ3Z6fkkdZSLhAaCwi5qVmo51rkaeZBpeHk,71
wkrq-3.3.2.dist-info/top_level.txt,sha256=yIBt63elhXyiIyVNIBTkVmUR_iG1JaaTQJoJTfUBbTs,5
wkrq-3.3.2.dist-info/RECORD,,
