USolver
Rank #5176glama/sdiehl/usolver
Integrates Z3, CVXPY, and Google OR-Tools to solve constraint satisfaction, convex optimization, and scheduling problems with support for solver chaining where results from one solver feed into another for complex multi-stage optimization workflows.
USolver is a Model Context Protocol (MCP) server published by sdiehl. It ranks #5176 of 58,900 servers tracked on MCP Toplist, and its repository has 65 GitHub stars. USolver is listed across 2 registries — Glama and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 2, 2025.
Ranks ahead of 53,724 of 58,900 servers on MCP Toplist.
Use USolver
USolver doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 2 registries
sdiehl
Other servers by sdiehl
View all sdiehl servers →Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is USolver?
- Integrates Z3, CVXPY, and Google OR-Tools to solve constraint satisfaction, convex optimization, and scheduling problems with support for solver chaining where results from one solver feed into another for complex multi-stage optimization workflows.
- Who maintains USolver?
- USolver is maintained by sdiehl, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
- Is USolver an official MCP server?
- USolver is not on the Official MCP Registry. It is listed on Glama and PulseMCP.
- How many versions does USolver have?
- USolver ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for USolver?
- The source code for USolver is hosted at github.com/sdiehl/usolver.