tests/README.md,sha256=i8Z1MQJUCvHnmUczqi9BiBKlSofPIOn2oUz_s_zxn7M,5517
tests/__init__.py,sha256=I25lbaTye_qKdP4Lwu7BhnSEox1UhTuEU70JivMyadE,33
tests/run_test.py,sha256=JAckJJpyF9unxfamio3zNUQiVrqWAg4GCiUqxD5-Q1w,28862
tests/test_config.py,sha256=hPVbsdApAftNfNg1RfLo-_4q11c9C3en7J7qeANF444,2111
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=Qn_Arr1kuXTluKBT7WHsXjcJZcVyqTPNRZzrLdfjeMQ,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/maxsat_example.md,sha256=pOVXn-UwkdAF5Twuqk7zon-CN3ceQr87F6rQY877-5s,1077
tests/problems/pysat/maxsat_feature_selection.md,sha256=f9R808vC7yH10JG2u9F7-EUEfguTUhX2lNPHwsMUwz8,1170
tests/problems/pysat/maxsat_weighted_max_cut.md,sha256=hd4r_HVkj_S3cKOVCMm8R9HankxyNtbmljky8TNOnik,1696
tests/problems/pysat/petersen_12_coloring_unsat.md,sha256=fZ3SNr6rPg14ah-sqxHVKmlqakzq726OEQnrB6Ebgro,326
tests/problems/pysat/queens_and_knights_6x6.md,sha256=V1ize95DTinMWkyg-GiAMsvSiNBR-GdxVi3DjO7ARIg,331
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/client/__init__.py,sha256=C8MESvASeYDvqGS2yVYVAIhXWX4UG3pt4HbekBtwXlM,320
mcp_solver/client/client.py,sha256=KDyJ4tdB2lhM3I89SAiBJMN20rs1ywvDbs61A_smPTI,44285
mcp_solver/client/llm_factory.py,sha256=dhWyUM3OR7QS5IFbDMlkylUrJucM9u_WmMn_a8T3Vn0,21979
mcp_solver/client/mcp_tool_adapter.py,sha256=PzPXIdIcVPvBftBT1XiFfDglTFGH9pzKCf-A_9mY1Ko,2767
mcp_solver/client/test_setup.py,sha256=AjKSUPRPICa5FZOc5zdDxz4qKKufbD9kr4us9WqP2Ik,21244
mcp_solver/client/token_counter.py,sha256=5b6PXIzH6jb_ITLU0XdGG001dri_uEvi0Dq54z0l4XI,5611
mcp_solver/client/tool_capability_detector.py,sha256=Y_kZgKrkosMbuGGapx6C3xwZ83kB8jG3hLtDKBQTCMc,14179
mcp_solver/client/tool_stats.py,sha256=i7AwQB_nzSGZMap6z0LAxizDpLWj6wTDNV96I-WqwCU,1940
mcp_solver/core/__init__.py,sha256=p0fZkKTAOnlyEiCz7ZW05zUbsRxNGHZ16LKR-uciXPg,292
mcp_solver/core/__main__.py,sha256=8HPb6_Oget4ouKX51-e710lrY9q3FGVlzWpX0MjU-_E,1295
mcp_solver/core/base_manager.py,sha256=1_YQx69bAG7-ROCUW7fIttjoHPanWyJiG-8uOS2AdIc,2849
mcp_solver/core/constants.py,sha256=Y3ipzCMXIA152WiNSVhu82q-Phj3f4aqqc50ey4lpgc,764
mcp_solver/core/prompt_loader.py,sha256=GHa9h9L0RVLuqvt_0YIdrvll37pTDZTzS2sqeH3N0Fs,2584
mcp_solver/core/server.py,sha256=I7cgbQsfSptJUAKi4qNtodSMOkRLFUpGSP5Dj0GYz7Y,26153
mcp_solver/core/test_setup.py,sha256=zi0tpcgljOMbv_WHaLloCuGOwyD9HAFHo8fY7GVUbBs,7054
mcp_solver/core/validation.py,sha256=b6DEcnnGlVft4wQA11zSxdW92fj3dEr2ymVhp7-fnrY,31856
mcp_solver/mzn/__init__.py,sha256=-BxSGdWpDMJNVOnO_rPtuHXWrO0b0xi5FJVqjc4Zf9I,130
mcp_solver/mzn/model_manager.py,sha256=KB6mwvoT2PFXKBoG2oYApA2hQYCNmfnv3tMuhvQ9698,12591
mcp_solver/mzn/test_setup.py,sha256=O56HVjnrBaYr0Fm8-FSyCCOfeQ3HtNDgI6BzQwcW4iY,6802
mcp_solver/pysat/__init__.py,sha256=x3CI9JbqGs6lqY2oVsc4HlFrueW6bSQZqOb0RnomGLM,1057
mcp_solver/pysat/constraints.py,sha256=66iWMWeUuzBQrTA5Bfja00TpXyKwnFQ6LhKxhgsI3oc,8806
mcp_solver/pysat/environment.py,sha256=DtjWlEefhQhc33mxJcN6qvVymubd-RtuO46Ec3pu7io,16319
mcp_solver/pysat/error_handling.py,sha256=xPIu3-3TiZcjTPYe8--ePYVrn38p2LCWKVbwUI1Hh2s,8962
mcp_solver/pysat/model_manager.py,sha256=qPHACT6EdPOUCm7I25c29bqz4KpnG12D_2aW9nzeuu4,42333
mcp_solver/pysat/solution.py,sha256=D6JjB1EbWkIciXDCM2_CjsGQEKzrV3rMr-nFFVBBKEY,17048
mcp_solver/pysat/test.py,sha256=lq9tVKKFXgaNkfWbgZ4I_HQCNzA7Es3pa3rxLyQHHD4,24725
mcp_solver/pysat/test_setup.py,sha256=9HpKXRkXB2aksurB8pQDfABUTW7ESS1HpUG43AsZLtc,7062
mcp_solver/pysat/templates/__init__.py,sha256=4ltBcY93gqKVmW1SJYaKDtdbk81eG2Z-xRzAQBlxs2Q,349
mcp_solver/pysat/templates/basic_templates.py,sha256=dw1DzkoDPNVkI8-ZD32B1PCmegLzEJJlWe4aMgo0PqQ,2666
mcp_solver/pysat/templates/cardinality_templates.py,sha256=LD0dmrzlSaMwODOfD-Ie7u-vdz1KbmBfCecCMwvMvtc,7241
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=8n6Sz_OWQnv98vaknqx6ha06i6vMJUiNpDjckVW1Y5U,182
mcp_solver/z3/environment.py,sha256=hY9ZF7JoBZbVsyRBvmITjwdCSlEyE46gk2r-dq8jEpw,10583
mcp_solver/z3/model_manager.py,sha256=bXOGFmZ_0OB_EREBhifkh82bilNBKLfFEW8RdNwdaio,18871
mcp_solver/z3/solution.py,sha256=auoNhmqYWoZvoYHzB7yMiYykFNtR7SfrHn4hTU7k2TY,8741
mcp_solver/z3/test_setup.py,sha256=qib2oRuJm0bUfUkH5Qp_9ku12R1losFr9jvl4YTaP2Y,7028
mcp_solver/z3/templates/__init__.py,sha256=YgAqzZWCwKYKxEsw4akxQ9UKWiOFQLpFCURAcOTVjXU,1242
mcp_solver/z3/templates/function_templates.py,sha256=ROqKrDCmQGOOcTc_rEFl5HRdUsOb4f8oMzjCH0ivfXk,9580
mcp_solver/z3/templates/subset_templates.py,sha256=D95wBnJTysoP71ff7SygSkmyEC3EVbtcT1Yc4yPdCtw,3815
mcp_solver/z3/templates/z3_templates.py,sha256=DFQRKjjWsgCOg8M_VZPS7Y8xg8N_DmiIMM6IbGtUbA8,5393
mseep_mcp_solver-3.2.1.dist-info/METADATA,sha256=7ThAmdROw9UKm7-egh3CGLidRHlGZAWIeomuLmjdkTY,1388
mseep_mcp_solver-3.2.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
mseep_mcp_solver-3.2.1.dist-info/entry_points.txt,sha256=IY3gZxz--IMREqkLP4t6ru3Gp2j_XW0UHBiSKsW7aA0,495
mseep_mcp_solver-3.2.1.dist-info/licenses/LICENSE,sha256=iFVnqtTDxONRvFMe7Grm0CqGYIoP511_3RhtAGQzdI0,1071
mseep_mcp_solver-3.2.1.dist-info/RECORD,,
