Universal Solver (Z3, CVXPY, OR-Tools)

Utility

by sdiehl

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.

GitHub &nearr;PulseMCP

Stars

Installs

Tools

N/A

Security

Server Info

Category: Utility
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: PulseMCP
Published: N/A
Last Updated: 5/7/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.