reasonkit/__init__.py,sha256=Z_Ald_4z7vLLlFwz5iEY9ozeZIytZ3n7H8SngWy6UAA,512
reasonkit/__main__.py,sha256=g3DYEe4KMMoeGRgdrbucivrRJ1AvjR1Qa2-2350j2NU,126
reasonkit/_sanitize.py,sha256=BpCJlawduhPjozIk6huUlTysQoMJSa-kxDRr-KlUcB0,6533
reasonkit/_utils.py,sha256=Y6lvDEwglDf6c91EsZlOxJOJlTi3D8kjct9m-wWJq6E,3953
reasonkit/branching.py,sha256=bvgUqXY-zafl9_YX_u3Dp6eZR0TAyLDzwMsLnBUDCzI,2679
reasonkit/classifier.py,sha256=KYsyS9pqKxJ78t51ebEq6Vc4e8EsN_GKa08JwNHGFTw,6735
reasonkit/codegen.py,sha256=deedDoNoCu8RFd6zW66-xQ-gVjknaPBbDsuumxkJmRQ,6759
reasonkit/compare.py,sha256=ZdZFQvGwEiuxE6vZjl5zM-23ZBMYomAG8wviU1H6cdU,1819
reasonkit/core.py,sha256=D79igRdw-nMSh2Ss6p12oyZdvtvo2niM4PM7lQ35Ox0,17333
reasonkit/critique.py,sha256=w3FuOrMcCOHEBiAs8f1bOaUjPIBLN_ALZYUpy7BKSkg,2943
reasonkit/errors.py,sha256=ceJc1nmwA--pnT1gED3BLcs_f7Mk3J3LTw0W9Vvj-cQ,649
reasonkit/merge.py,sha256=zGXrfJ6vfiIp2Kzjhb_FOzn9yvJyoCi_ygCmhLomV_I,4609
reasonkit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
reasonkit/stop_conditions.py,sha256=2kZcOyjiHzQHcupA01VRebd6lCLcvQRuPnZjq76E5nk,833
reasonkit/trace.py,sha256=fx-H7eVP3YVXDa2UjnF9s2k0scRJqy6ViVi9J779kEg,1960
reasonkit/prompts/classify_and_assumptions.txt,sha256=gAoejxu7FK3t6udfGYeHzszqynz8nP9Rv0u7prMMk3k,2195
reasonkit/prompts/critique_all.txt,sha256=cVNzlIK8f2qKRbguJbjKLokCx_PIGP2HpZGIkirGc2A,2595
reasonkit/prompts/deepen_concrete.txt,sha256=D22PrsFa2HHiM3etDu0iNFuf9HkQBSHaGWnXQWKjw0k,1364
reasonkit/prompts/fix_code.txt,sha256=Aalon9owKaJXWcCWV9q7lauBaJkCq-9qxWezyiJ22Q4,255
reasonkit/prompts/generate_approaches.txt,sha256=S9FDE8tiQYS-YqJWx_60F7B0nDD9qrC6UXrqc7ErPUE,1403
reasonkit/prompts/generate_code.txt,sha256=K947qqIs6kqfiN6pTlF1mAAiRwBcE7n2R4vkBlf7hq8,686
reasonkit/prompts/merge.txt,sha256=xe6XdMBtfNJmuBm4fMaknK2TKmYDdwnWoq3HYmAQ8gQ,2269
reasonkit/prompts/refine_direct.txt,sha256=bhIXxqU5iXiQhmIkw8QP5tUGK-EXDWRO2uKN76IJq00,813
reasonkit/prompts/refine_merge.txt,sha256=xJB2AeEAl9UqWkc-hsH14l1Cn-E_vWB0pLc8iN78pR0,1504
reasonkit/prompts/verify_code.txt,sha256=-25w-5DFNgRlGwVIMp14UE6DWeQ5qhk8wmHzHX86tXQ,315
reasonkit-0.2.0.dist-info/licenses/LICENSE,sha256=ixuiBLtpoK3iv89l7ylKkg9rs2GzF9ukPH7ynZYzK5s,35148
reasonkit-0.2.0.dist-info/METADATA,sha256=m7j8LtnRKIDb4hA6tbcb4Zjhj5iZwpxTAcvInVslqdo,14579
reasonkit-0.2.0.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
reasonkit-0.2.0.dist-info/top_level.txt,sha256=buz3XREAfEBnxKe-eyEqfh4MkZPH35f5shf7i3LfD54,10
reasonkit-0.2.0.dist-info/RECORD,,
