tests/README.md,sha256=mELuc9MpOzQ85ZlMA0my9h7eqFxRobi_8p0t94Kj6KQ,7311
tests/__init__.py,sha256=I25lbaTye_qKdP4Lwu7BhnSEox1UhTuEU70JivMyadE,33
tests/run_test.py,sha256=gDLQIlB4GEz4yHTYoEIUtDDXfquMekvWfCpOlFWf520,29591
tests/test_config.py,sha256=ftfyi2yTdpKq2TPzLddDVNoBGNnevP3VSTADFe4X6nA,2254
tests/problems/asp/birds_fly.md,sha256=_pjkWfnmllIPLyRijAnn2V-aXS5xInaLOmRFWa3wozM,998
tests/problems/asp/company_controls.md,sha256=1cbdbgoZJppEpk6A75d_l7zmNVZ0D5v9qmsyo6W4PtI,436
tests/problems/asp/package_status_unsat.md,sha256=6-5V2YCzXwmL9bQXIPYuRJf14MqPq3hiH61QkhrLro8,231
tests/problems/asp/party_invitation.md,sha256=BONb8R408YpbTC4WvAoagqpnNSVqsEaD7uWUeTlz9Vs,267
tests/problems/asp/shift_assignment.md,sha256=4xfXnOH8aFsR3EV8CzAORXm28m9LsRn0u5t4sFjVgfI,496
tests/problems/asp/test.md,sha256=UyM4fx_2OU7JBfSQblOe3JzWxATCZ9y63EuRPb-UkEM,209
tests/problems/maxsat/equipment_purchase.md,sha256=OqVmJ2lVk5rLqbDRkqwcLyMexDjRr8BZ-jC3Wo54ZgA,803
tests/problems/maxsat/network_monitoring.md,sha256=nkaipV8kU060VLuhIDiOZb6yi7_w1o4qXn5XAZDS8N0,1299
tests/problems/maxsat/package_selection.md,sha256=-xNPl4iVGGOgZCtCKKObvE3DdN616oebiOFTZxw7X1o,974
tests/problems/maxsat/task_assignment.md,sha256=A8j9MT2INfnhC952NZD89R_dZuvh_SGIN4FMWn6eG9s,825
tests/problems/maxsat/test.md,sha256=S79yp6XdbWWuUVQQ-5-yJkeEnPgcxbL0lwEHe1DQidA,599
tests/problems/maxsat/workshop_scheduling_unsat.md,sha256=_lWlTRWMxxsEekRqcjAoFZ_YUBLJfQ0fx1a_NsdvfpY,1042
tests/problems/mzn/carpet_cutting.md,sha256=oFtz0CYNt100Dz2DGVZiloJQwqkBWPpT8lO1Q8gcG6U,578
tests/problems/mzn/test.md,sha256=pwbbIq7JDE4yVKnKM6ZmLSNzSX8lm0SM39oQBXcOzxA,281
tests/problems/mzn/tsp.md,sha256=O9RILXFVt2vCB5x8xIZrZ9NvgCn_dfMsiJ9UWWdi34M,1072
tests/problems/mzn/university_scheduling.md,sha256=BHehaEoPbTMY1K-3-iAclQadrZDrYeB5CbQzh7sutlo,974
tests/problems/mzn/university_scheduling_unsat.md,sha256=qSS15MeaMv4QpOd_Ty4U9yjtO4puvfp7-ZhhGxrASjY,1468
tests/problems/mzn/zebra.md,sha256=zxkpJNoiQ7D4MHMmVZsicxhbtNBJqMQo7OSSI-1Xfhc,533
tests/problems/pysat/equitable_coloring_hajos.md,sha256=c4vHWRFnWjlks7fdsBtJPuYkLYNDfCxqeEtoKybgtKc,105
tests/problems/pysat/furniture_arrangement.md,sha256=fr9aj2UJCHBbthO_udQmKmFLeZxxZdF3Jb3f930HBXU,664
tests/problems/pysat/no_three_in_line_5x5.md,sha256=m_p8NVrwBIZVRezf-P-nsTuEWNOmfvhix9n4NM-lZnE,1916
tests/problems/pysat/petersen_12_coloring_unsat.md,sha256=b7UnpljSobb3ksmDRip6gvrIe0PS5wP97S-EXwxHvN4,367
tests/problems/pysat/sudoku_16x16.md,sha256=b4tDZrHaE54ZNqtzR8FN742Rqtp2QbuDpp-JNp3Rgh0,830
tests/problems/pysat/test.md,sha256=x3X6Ux5cLiKWGH_640jx6ZeXXvt0eRGn6ht5UZ6PKNQ,303
tests/problems/z3/array_property_verifier.md,sha256=YC4LRaGroBUividT8NS8Qk9Qa4ZpzAtqrVc7AeCEPiI,386
tests/problems/z3/bounded_sum_unsat.md,sha256=ApqkexB9cdMphJk39kK9s0aVPIWziBX9m63WBghODm8,391
tests/problems/z3/cryptarithmetic.md,sha256=tyjT0x2flUYxx9s2MW-3idSsBAYNJabp5JixyZJ-0Rw,294
tests/problems/z3/processor_verification.md,sha256=jHH0p6-5gTzw9Hrb62IKlEESYkW6WyEr34jBFQTgEk4,1215
tests/problems/z3/sos_induction.md,sha256=Lyusv4pGEJ6wcpHwicjax5fw2gryqnrvDU6coxZg53c,287
tests/problems/z3/test.md,sha256=pwbbIq7JDE4yVKnKM6ZmLSNzSX8lm0SM39oQBXcOzxA,281
mcp_solver/solution.py,sha256=tDmdXaYzmAtF60e0sqJ8BeVIt7XkUwUdSBI5omCiCCg,934
mcp_solver/asp/__init__.py,sha256=NLyoBAI4M4FFenG8_NJ_biLoBI-aGcr-m9f9vVKBydw,119
mcp_solver/asp/environment.py,sha256=sSvTyvH94pPbC1u-4XXc0gW3ctNv89zRBfFyFPVYXNs,74
mcp_solver/asp/error_handling.py,sha256=iPQnB95qNFqB2bRmwvAFOIS_Nd6U0V5U8DQbyYrXHvg,3356
mcp_solver/asp/model_manager.py,sha256=IgDufOcFrlxFBIA-VsUa6K3gTjF-Yceyo8zt5mb2yUI,11226
mcp_solver/asp/solution.py,sha256=0J3awAwOZDWjJh2OuK8QzLW1XdrPvqsiP-DwfJdofh8,4274
mcp_solver/asp/test_setup.py,sha256=81SvAqus4w7-JVNmJcEDrXMhLl7-sBa1QMIRCeic--I,8182
mcp_solver/asp/templates/__init__.py,sha256=sssWRL1K6a2cwWsmzlBxGpdXurP9_xAl8K9EqkFmHJc,59
mcp_solver/asp/templates/basic_templates.py,sha256=9bd2UxBAMOG--AZIApCr_zueOx7Cl1Lgyw3bVSrqHjg,828
mcp_solver/client/__init__.py,sha256=gaCPJiB1sykER7w97TYiBDuKWvhGGGHvwrtaTok2K68,321
mcp_solver/client/client.py,sha256=ZwOVViG4ImUzZt_8aC92PFDyKMSU7Jb-dgkFOLJqP2M,44904
mcp_solver/client/llm_factory.py,sha256=by7TEzL3lVejELzFe7GI9q8Edcu6jmP5TBYsGn19dLk,22208
mcp_solver/client/mcp_tool_adapter.py,sha256=eiyvDgwQ3JlXsHqQs9H2bKdDzy-aQC394sOXAQvdN7o,2695
mcp_solver/client/test_setup.py,sha256=sR-9YGmcRfpbWHTtHmq0WzuHlcR6506riFUWQqtBaT4,21311
mcp_solver/client/token_callback.py,sha256=KCebozUs952pv4WTe7kPIrqtVet64huKcbILeQ5GGcc,2810
mcp_solver/client/token_counter.py,sha256=lA_mZQgEUE56ekiMv9GjFAslWACa-gPSCwbzXKC4o2U,4893
mcp_solver/client/tool_capability_detector.py,sha256=TCwsYZVEYfeBDrElAV7VCK3PRwrOuGVO7RwCi6LVPYw,14087
mcp_solver/client/tool_stats.py,sha256=rBt1JOP1_5uabCidOEzA_GB7lH94MZSPa4IfMfhskQ0,1906
mcp_solver/core/__init__.py,sha256=ddk-2BQledLFY4M86ibLfCPt5jwMzu6sF0lOh0a2dT0,362
mcp_solver/core/__main__.py,sha256=2t05rXwAkYOhom4MRmsVq84qotvp6KqPtjbpVpM-stg,1719
mcp_solver/core/base_manager.py,sha256=xnZ5-F1wXon-_qBADDysE5ckNrfAZNCjAkr6i8rNBAg,2820
mcp_solver/core/base_model_manager.py,sha256=bvkRx1rw8oRcUKOb8gJNk3q0NoqWRKPSvDJ1y_vnC7M,4048
mcp_solver/core/constants.py,sha256=4_Kc26xB-POxFzZoVy0Gr2W2I8SRZJki3tzIehwXRrQ,725
mcp_solver/core/instructions.md,sha256=rWx2CTONDPiLz6wHhwiH-ybiCFrM-eYh_rbXCk1pLnI,4386
mcp_solver/core/prompt_loader.py,sha256=evmU8YrHqErU3E_HjcwO3VE1C5Lv6yNljt50SX1wr3Y,2677
mcp_solver/core/server.py,sha256=MBWWnmgFP7fzAgD556AuV4kwGjHc32I3zNg-OL4tI54,30798
mcp_solver/core/test_setup.py,sha256=dOCSs70qOVLT1PmSKbpjtkUrC2N0nWd0v45m6y5tVZk,6991
mcp_solver/core/validation.py,sha256=oeTmgMkOLPXb3lUM_iR6xVFCCbwfDpUXXwUxUch41aA,32725
mcp_solver/maxsat/__init__.py,sha256=2an5pUm1KO56rzSNYGkXy_jSFt-n7KN_zZCKFV6t0gY,247
mcp_solver/maxsat/constraints.py,sha256=LBmLSNVUwG6DrRZ-jzMOZXiMtshbeiwodXOhjifDmqI,100
mcp_solver/maxsat/environment.py,sha256=dodtyquGr6xyNHPZp51wGEZT10-fxRw3JXkFIdtZdC0,17529
mcp_solver/maxsat/error_handling.py,sha256=Praj6oSkamte4bfK2RvDfYLulIY9vkQyI-OYCBUwUpA,10388
mcp_solver/maxsat/model_manager.py,sha256=SfkZT9OB44fXY4dsNXtHNzILSTvMqUlP9OT32alhicY,51058
mcp_solver/maxsat/solution.py,sha256=hxFIW-EFwHsgrFeY3W1nm4KhBQ1-uiNmsDcoNNQrtT8,10453
mcp_solver/maxsat/test_setup.py,sha256=lx3OQoSJf_Jb-xAW_iRj0Mgc0cHSOEddPaymNgDetws,1255
mcp_solver/maxsat/templates/__init__.py,sha256=Jzg_6oD9bSMQfP68dsmsUZL5uKrDajz-R3s6Pe7XUTg,254
mcp_solver/maxsat/templates/cardinality_constraints.py,sha256=MWw4gmmFcrk-Zl9yhHxE_5mZJludpxKQsbq_7rhRVGg,2032
mcp_solver/mzn/__init__.py,sha256=zWmFiPCqr8CsoYO3yXwsLW3kzde70DyDaaG0jTVXzww,131
mcp_solver/mzn/model_manager.py,sha256=lkr_nLNwEn83MUORHS8AGsxom00aMjZeTnKBlkc6h-M,13283
mcp_solver/mzn/test_setup.py,sha256=X3bwAJfOMitaBmdzzEd_u8AXiQ6d6ZW3EPywyp3DTbA,6671
mcp_solver/pysat/__init__.py,sha256=ASG_LDTS27hvnKIc41yshUZA9UvSQDSO2U3tAYmM3do,1057
mcp_solver/pysat/constraints.py,sha256=qh-BOGjGf5P9mBJaUqSQYSz4so1ie0eP19YbpBvX07k,8618
mcp_solver/pysat/environment.py,sha256=jvL-gid37-hi4e5AXRS_hS3ynQScxcMQU9qohjP7rME,21237
mcp_solver/pysat/error_handling.py,sha256=YyHJIsChM7Byc4Kx6ycR2kQqhbiXChkjV2QSfL949EI,8911
mcp_solver/pysat/model_manager.py,sha256=gmEvtxRkmHQjx-uVQYEmbbnELLjbsQnSJaaAugsMmGY,29663
mcp_solver/pysat/solution.py,sha256=b0b0tTTJ5Pa4umL3Ncbm3MNlKxtDy4okUvQ6DWgYu0w,9767
mcp_solver/pysat/test.py,sha256=eMT14hj_IzwGAoLp8yc13A9Yip_KViUw_9iTe-vzLbg,24667
mcp_solver/pysat/test_setup.py,sha256=5CKfREX-VLfjVt0zp-oB3MgykdZ-CD7kdVMAMYK5Xsk,6975
mcp_solver/pysat/templates/__init__.py,sha256=4ltBcY93gqKVmW1SJYaKDtdbk81eG2Z-xRzAQBlxs2Q,349
mcp_solver/pysat/templates/basic_templates.py,sha256=WROjuOtWrJk5eZnFtb_rVdcUHrpAdOFieJIhKqj0MOk,2618
mcp_solver/pysat/templates/cardinality_templates.py,sha256=5Zb3_MwJvmoj7msdKIUyyPiy3B3vdmkuckg_39ADar8,7193
mcp_solver/pysat/templates/mapping.py,sha256=gDkKBJIk1cp47udzuHkM67cX7bhoIsxa9XU9kMgUhgs,1206
mcp_solver/pysat/templates/pysat_constraints_examples.md,sha256=nWT33aBan5c7mjTUFBaPDeDzmgBFa4_RsIv0eHiv97g,6765
mcp_solver/z3/__init__.py,sha256=5ZxaZ_n1PvZH1swUa6i139kwfL4oGmnQoDz1AeKH3Dg,183
mcp_solver/z3/environment.py,sha256=mmAfrAOVqKdnM1aqB9hEn5WNTCYE-KuFTghUMwwhzhM,10491
mcp_solver/z3/model_manager.py,sha256=7sgBBWOGzBF6CSRh2i8dR5B5Q1vi4V7ANBY48LPlQZI,16803
mcp_solver/z3/solution.py,sha256=4J-zv5KMPYUCVAEFneVUNGDbrBP0NiumZTDjT84IUDU,8708
mcp_solver/z3/test_setup.py,sha256=DNb8lVWwH4mSP6Ysr19nqII1ZVgzy9k7wmz_amHOz8c,6911
mcp_solver/z3/templates/__init__.py,sha256=8VW1XZ_x1rDKQptrRKXXLmtdKUifYu2DSCXue7lSdiY,1242
mcp_solver/z3/templates/function_templates.py,sha256=GYnkCPqwWLx0IN2oljL8hKuzCl8bqPwfwewWTa7_WE8,9513
mcp_solver/z3/templates/subset_templates.py,sha256=MKir1s_b7uZI-oBlVooci2wkHEcF3h_LRZ_AjBsgSRw,3818
mcp_solver/z3/templates/z3_templates.py,sha256=tD6SxxPs8aQeL4-shFgw985fUbYXT-WtOIKgTj922ws,5322
iflow_mcp_mcp_solver-3.4.1.dist-info/METADATA,sha256=3_AkVS9mEnWbmrwBnRvDgiNGhr-x6ZlMl4ItTVISCP0,1473
iflow_mcp_mcp_solver-3.4.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
iflow_mcp_mcp_solver-3.4.1.dist-info/entry_points.txt,sha256=q1sBy6l1TyupGqCcTM5t9Y1CE14yf8ub3BD4Nzk4Ty4,705
iflow_mcp_mcp_solver-3.4.1.dist-info/licenses/LICENSE,sha256=iFVnqtTDxONRvFMe7Grm0CqGYIoP511_3RhtAGQzdI0,1071
iflow_mcp_mcp_solver-3.4.1.dist-info/RECORD,,
