milp_flare/__init__.py,sha256=k1jzd5lXwp4GF9oVwtoM3KTRzS1Njsa7SXUAix2l-TY,638
milp_flare/__main__.py,sha256=1N0j2K6nxBLAyD2akab9qagjEIN8AOB2ZY7Dejppbg8,7335
milp_flare/_assets.py,sha256=CQHCskusFQlkf7Z2nctS110lmIxdpWV1MqVopgPVb-Q,1345
milp_flare/_prompts.py,sha256=FkpLG7rZtkdCsqZHWcWB2IzRxmvQviIwnY-Gg-SGcm0,1709
milp_flare/flare.py,sha256=Tj8NywSfrtnCMHdvzOmEbYJWdlWxPWAluI8c-FJDDss,19786
milp_flare/flare_nl.py,sha256=qoMHHnXJeoKTIkbSrnpXcMJEspMEv-endYHzRZ1ER18,3326
milp_flare/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
milp_flare/assets/configs/mcp.json,sha256=KvvZ710qBd68STD06HQsmk5q6aCTru5y1NW4poBtVSE,139
milp_flare/assets/docker/Dockerfile,sha256=1382MD1eqf2YEXgiXNGVGyBTerg0PTTFM0Ww7V6r9eg,2437
milp_flare/assets/docker/entrypoint.sh,sha256=FvP2QsmLswbVdVTmVpAZNiCARI721oqt2VhV1BLwUek,2898
milp_flare/assets/lean/Common.lean,sha256=V3XLvyxhKxiIY2VDoj0sGuX_VWejZG096sAZ-u5qBWQ,944
milp_flare/assets/lean/lake-manifest.json,sha256=-6nyN0JxP2l19W7l5-dE3-qj6NYg-Ry7FUf77etK79Y,3107
milp_flare/assets/lean/lakefile.toml,sha256=FP8vc81-dOUwwXLi4TtV8dF6nYZeEk8Xp4XdSXTKfYc,274
milp_flare/assets/lean/lean-toolchain,sha256=23uyS3VtdFu96D_pJxi1G9NiXa43AboPWY0O7c0_MCg,25
milp_flare/assets/prompts/flare_agent.j2,sha256=pTQlx0FXoTL-rnO3elrhmhy9NMiw-BFNug0RDQ9n8Ao,6708
milp_flare/assets/prompts/flare_nl.j2,sha256=kev0VLic4LjVqDAyMzFvOS4xEed_8GcTpNj2xM1uJOg,3296
milp_flare/assets/scripts/claude_code_agent.sh,sha256=T0unWnUWF2H07w08fhzSSVWMaoql6FhFwy4TIt9566Y,679
milp_flare/assets/scripts/codex_agent.sh,sha256=pcbDnLAtq7CVdDgfi55zjphAmvPLjz0JCnmHNv6maWg,1011
milp_flare/assets/scripts/opencode_agent.sh,sha256=aAPO7a_vGyQUR94l8SkwVf5AIoMxw5SSLl59G4RrIBM,685
milp_flare/assets/skills/lean-milp-formulation/SKILL.md,sha256=Zps5xlsmWTD-Qn0Ts12i5AHk4tOuSYoB88xaW_QJ65c,8975
milp_flare/assets/skills/lean-milp-formulation/template.lean,sha256=vQaMVkVrGrT2kdlOliDlhKeVBP6GVwuHHDYxXF3NLeM,6062
milp_flare/assets/skills/lean-milp-reformulation/SKILL.md,sha256=PoBgWEbsnvhtKdEgTQIEn0RVkQQtYLufsM74r-L-NPs,8153
milp_flare/assets/skills/lean-milp-reformulation/template.lean,sha256=HnGcLFqyeIXIsT_QrcxDBbn-YVyMvKzyktkoxYEk6uY,8117
milp_flare/harness/__init__.py,sha256=BsD83QIGFHv3hYaK9lEsiSp3CWbUSLWz5KxpdzRvCdk,739
milp_flare/harness/base.py,sha256=9NuKqNmSb-rXWNJnYBNnL_HJTZqjbGUw172oseoRT4Q,8563
milp_flare/harness/claude_code.py,sha256=RiU2BUgu7uFHeeVbrW7tG6KY48CLkKZUlnXZ79sHL0Y,4726
milp_flare/harness/codex.py,sha256=Jl_K3RodJFyanbrgx-lMdikhgRDfF-OPN4yvU9QZIqM,6714
milp_flare/harness/cost.py,sha256=aZoQLSGHFevRqKmUpwVBQM3dpmods9jq_V774iTniHY,3883
milp_flare/harness/opencode.py,sha256=eglpIlauTqKx84UxezA6LnqP_b0RK0iONrt_6JkAWqE,7141
milp_flare/harness/runner/__init__.py,sha256=_75L6E-FK3UuMkb0scHtnnHHPSSefcnvtildA5yRxRY,525
milp_flare/harness/runner/base.py,sha256=dAWmODuOOtDjsRTFz1NVDEbG_o7AcRTmCRTTHSSeVC0,4198
milp_flare/harness/runner/docker.py,sha256=LWt5_m5cYKqxqFhmHtW1B7VTE0Jz3VIrY-m4sDu-G8A,4800
milp_flare/harness/runner/modal.py,sha256=sti6UKTfqkKhheic_p3b_c2BJOXwxx-XAXktreLuBzY,9825
milp_flare-0.3.0.dist-info/licenses/LICENSE.md,sha256=vUVL2-6yCYrZrxUjUNUT7JNlF-9gQHQNNGHV9PTeSXQ,1070
milp_flare-0.3.0.dist-info/METADATA,sha256=rG1Kir5N3ufP-W94jFxK6NYoXv-gwp6iFCcHmHvb1-U,4824
milp_flare-0.3.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
milp_flare-0.3.0.dist-info/entry_points.txt,sha256=H0Ei8fpouIAUda3aEv5HfJ5_5HXNZTeq6Apa6y2qg_4,56
milp_flare-0.3.0.dist-info/top_level.txt,sha256=Lu08Q1-VLvEsnnOab0vRSn3iQR9XY_QwXiT2bDpe3wU,11
milp_flare-0.3.0.dist-info/RECORD,,
