Update package-list.json

The MCP Solver integrates MiniZinc constraint programming with LLMs through the Model Context Protocol, enabling AI models to:
submit and validate constraint models, set model parameters, solve constraint satisfaction problems, and  retrieve and analyze solutions.

packages/package-list.json

@@ -1,4 +1,12 @@
-[
+  [ {
+    "name": "mcp-solver",
+    "description": "MCP server for Constraint Solving and Optimization",
+    "vendor": "Stefan Szeider",
+    "sourceUrl": "https://github.com/szeider/mcp-solver",
+    "homepage": "https://github.com/szeider/mcp-solver",
+    "license": "MIT",
+    "runtime": "python"
+  }
   {
     "name": "@modelcontextprotocol/server-brave-search",
     "description": "MCP server for Brave Search API integration",