🔭AI Tools Scout

Leaderboard MCP Skills Content About

🔭AI Tools Scout·Data updated every 6 hours

Leaderboard MCP Skills Content About

← Back to MCP Directory

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

66

Stars

0

Installs

0

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: 4/3/2026

Universal Solver (Z3, CVXPY, OR-Tools) — MCP Server | AI Tools Scout