tests/README.md,sha256=539qtmBe71h4ZAr2wv3zC74O4H1j6xyzTvPdcb_YMyw,6115
tests/__init__.py,sha256=I25lbaTye_qKdP4Lwu7BhnSEox1UhTuEU70JivMyadE,33
tests/run_test.py,sha256=gGBkGTu9gXW2pSgb9lTD8R4iNim2zFUj4FhR45awcU4,29245
tests/test_config.py,sha256=p3z_8qKTO_JziEPX4gwgATXQBVCqK_NDNGrw-CDqzRQ,2201
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/client/__init__.py,sha256=gaCPJiB1sykER7w97TYiBDuKWvhGGGHvwrtaTok2K68,321
mcp_solver/client/client.py,sha256=bui3BD5sXDuJaHkR746lUfxdX4r-RHF9wT5zV8DwCCI,44800
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=I1loq720YhQEjfvNZMUqPyftZjL1fT26Jx8uZcmv16I,21243
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=2WdsFPbGFJfQxQPWn2KQikzKb5wBKytY5aUgQPIYIco,1512
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=eV1LeueZACUUIlMZ1RSXhHNsTRuUduH1qPffDZsOn0M,2645
mcp_solver/core/server.py,sha256=TvWAwUrY42YTWriC5wC4kfE_LT7gzjmq1jptfGEGwfk,29403
mcp_solver/core/test_setup.py,sha256=KIlz8Yk49wEQyShYmmlLXwDNaw3T4vLD3CJHVMg9ZDc,6923
mcp_solver/core/validation.py,sha256=X5NG4SDejz6xt_8IoEaLm0dFyu1TymCwEaVXvKct1YQ,32752
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
mseep_mcp_solver-3.3.3.dist-info/METADATA,sha256=zi5HO7OpgjVYlvgLjw03z1HkbLpTK7FZEJra5wvgr1k,1407
mseep_mcp_solver-3.3.3.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
mseep_mcp_solver-3.3.3.dist-info/entry_points.txt,sha256=ie8Tty0i53CBlIIKJ6At1p3J_PcDO-YXFCfgdI5IEyA,606
mseep_mcp_solver-3.3.3.dist-info/licenses/LICENSE,sha256=iFVnqtTDxONRvFMe7Grm0CqGYIoP511_3RhtAGQzdI0,1071
mseep_mcp_solver-3.3.3.dist-info/RECORD,,
