标签：求解器服务

MCP服务器暴露Z3求解器API，用于创建变量、添加约束、求解问题及优化。