milp_flare/__init__.py,sha256=d81H5Kah-2CQvyJavh-xKaVT6kmQCSM1PgfwfiOrfEQ,362
milp_flare/__main__.py,sha256=hqxTZGXyvdiQ0diuMNCcQ1DVGIBWG94GWYjGsJndYMg,1284
milp_flare/_assets.py,sha256=d_FnuBbuC6ZDmsyUFAOGlo-ktq-5vTX-YJCEvUqy9yM,1119
milp_flare/_llm.py,sha256=9kOJGzMY1HXx2FMO81X1yVmYzX66ri3tLVBHav6zx6o,1479
milp_flare/_result.py,sha256=2LVeXyyQFANIglaTcLZ4329uiANuWc82CiLco9f8XO4,317
milp_flare/agent_prompt.j2,sha256=kAlspYmlyfe2Nyn3cwdkFaeHTi2hDVnYaoJODHpD_Ug,5043
milp_flare/flare.py,sha256=GnZSDfuUrdJo1xi_gdVlk34cMnkGMELLJeDlH71xVIo,6974
milp_flare/prompts.py,sha256=htSH-7N_WQh-akzg5J5tMCszgIk3RFUUXNqR36Gr2yY,321
milp_flare/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
milp_flare/_assets/mcp.json,sha256=vV92bcdMC7SoqDDfM4Q66k1bbUFzh2mwipyQCLvAPMs,160
milp_flare/_assets/docker/Dockerfile,sha256=jk_6KOSCka-IE066eYscSXJtiG0tKF0Jjfi7gg-BH8k,2425
milp_flare/_assets/docker/entrypoint.sh,sha256=RpaKag2vdmduZvy2Ot2Mms_dSbZ1rEQ9dZ2IQh9om3c,1697
milp_flare/_assets/lean/Common.lean,sha256=V3XLvyxhKxiIY2VDoj0sGuX_VWejZG096sAZ-u5qBWQ,944
milp_flare/_assets/lean/lake-manifest.json,sha256=FWVIOm-hVM3xoFzL_FfAyVhUsFe59NT7dKH1i4IaVfQ,3098
milp_flare/_assets/lean/lakefile.toml,sha256=FP8vc81-dOUwwXLi4TtV8dF6nYZeEk8Xp4XdSXTKfYc,274
milp_flare/_assets/lean/lean-toolchain,sha256=23uyS3VtdFu96D_pJxi1G9NiXa43AboPWY0O7c0_MCg,25
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=a_60c0O-zTocq1dthI0Kn87QWKOj4cTyxrckW_PPafA,4403
milp_flare/harness/claude_code.py,sha256=nvWIODeoTaPO6hzoMLPHnP7lpSH6KzGeTwR3-Dv7keg,2653
milp_flare/harness/codex.py,sha256=_AgfJ4MTXb8A6csOYcc2ntzwktIq8D1n9cSwCwpcQi8,2967
milp_flare/harness/opencode.py,sha256=Mp6lC-Zd_UJaFBS3ZoJQtyORKI_cFPAktbt3KGl1Tkw,4712
milp_flare/harness/agent_commands/claude_code_agent.sh,sha256=lTCnsbBNen_9heVKVY6oKXDbVqjrfB4KaBJpIB5neJs,767
milp_flare/harness/agent_commands/codex_agent.sh,sha256=Zm9jzHRD4TCGUlBW5W5vfkRswNRlfnT7OZIvLQIR88U,1104
milp_flare/harness/agent_commands/opencode_agent.sh,sha256=nyxSiRN36ZycgX-DwPiaVQWGmejtT0XobTQHTMcPOKM,612
milp_flare-0.1.0.dist-info/METADATA,sha256=rR6lB5uOUoxZR6zG5DSowyqbzStteMN4_PzaRk_w0b8,199
milp_flare-0.1.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
milp_flare-0.1.0.dist-info/entry_points.txt,sha256=H0Ei8fpouIAUda3aEv5HfJ5_5HXNZTeq6Apa6y2qg_4,56
milp_flare-0.1.0.dist-info/top_level.txt,sha256=Lu08Q1-VLvEsnnOab0vRSn3iQR9XY_QwXiT2bDpe3wU,11
milp_flare-0.1.0.dist-info/RECORD,,
