milp_flare/__init__.py,sha256=w3wi-zaAdJrvcxjpRINN3NS5YmdR5jNNYpowi_KETbI,368
milp_flare/__main__.py,sha256=hqxTZGXyvdiQ0diuMNCcQ1DVGIBWG94GWYjGsJndYMg,1284
milp_flare/_assets.py,sha256=CQHCskusFQlkf7Z2nctS110lmIxdpWV1MqVopgPVb-Q,1345
milp_flare/_prompts.py,sha256=DIUs1Ugh69EXvU7iyAgAssZBzqw4PvvFecaaWfNHbY4,1536
milp_flare/flare.py,sha256=Pm0RVksfntItM3GxeTK8mAlxPxl_F-1v3Z4vYENcYHY,13340
milp_flare/flare_nl.py,sha256=DRedEDLlvn2O5HyhoMf5Saqf1uMTLbennM59GQIvoKE,2715
milp_flare/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
milp_flare/assets/configs/mcp.json,sha256=vV92bcdMC7SoqDDfM4Q66k1bbUFzh2mwipyQCLvAPMs,160
milp_flare/assets/docker/Dockerfile,sha256=o-QUEyFYRa2QI0E-VW7nlPY5vEer4_Hr7VMoUoe_LIQ,2424
milp_flare/assets/docker/entrypoint.sh,sha256=swud_k1ytVGt234HLuyISx5NL90rC8HXtlfpfYHyzQo,1683
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=kAlspYmlyfe2Nyn3cwdkFaeHTi2hDVnYaoJODHpD_Ug,5043
milp_flare/assets/prompts/flare_nl.j2,sha256=9xcJCQWgUwpL7llkqb9AkgNeVfVolWTmKiu_oZfq75E,2956
milp_flare/assets/scripts/claude_code_agent.sh,sha256=wQ2EG8GL7u8p_4IWoXhdfJsAux11ampZDRQaWsxFcC8,766
milp_flare/assets/scripts/codex_agent.sh,sha256=kk4tAI4ov_btntKiU9j9x_cI9MhMkJbnT2CzsTozCog,1103
milp_flare/assets/scripts/opencode_agent.sh,sha256=etISEJOgKC4PwFwKzCpnTwQoibI1BDO4UBvt5bxCzXg,611
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=yGrKr0-h3QLVIqMeEV_YamI5O6_aYGhjgjC7Ws6m-LU,7968
milp_flare/assets/skills/lean-milp-reformulation/template.lean,sha256=HnGcLFqyeIXIsT_QrcxDBbn-YVyMvKzyktkoxYEk6uY,8117
milp_flare/harness/__init__.py,sha256=gQtX6-op3SgBS_4DqDDL2JfUdWaI1hyBJ9cYGRdjdNo,509
milp_flare/harness/base.py,sha256=oZwr9QZI1jkqwyBvK9SWfSTCB8dVEVaW-xLdD8E_F48,7917
milp_flare/harness/claude_code.py,sha256=D4CFCcQTykflk7BhA2zpWMqZrzkDh32j0mv0UuAija0,4642
milp_flare/harness/codex.py,sha256=AtJmFK27xvvQCoz0f3vOYMUONuRhChQhbXs5rE83-us,4498
milp_flare/harness/cost.py,sha256=lxdXjsOMWanZnpLiCi3mGJVTZRSbY0-EKAhMdpNMdVg,2072
milp_flare/harness/opencode.py,sha256=ixXbHAphzRmNHbLorCjDa99J1cRbSuEjBBCtYOnnjnk,6354
milp_flare-0.2.0.dist-info/licenses/LICENSE.md,sha256=vUVL2-6yCYrZrxUjUNUT7JNlF-9gQHQNNGHV9PTeSXQ,1070
milp_flare-0.2.0.dist-info/METADATA,sha256=gn8M61X5u017-aZ1dvig9KSlaGYzeea9WQbUSHCmg4o,4320
milp_flare-0.2.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
milp_flare-0.2.0.dist-info/entry_points.txt,sha256=H0Ei8fpouIAUda3aEv5HfJ5_5HXNZTeq6Apa6y2qg_4,56
milp_flare-0.2.0.dist-info/top_level.txt,sha256=Lu08Q1-VLvEsnnOab0vRSn3iQR9XY_QwXiT2bDpe3wU,11
milp_flare-0.2.0.dist-info/RECORD,,
