Gurddy vs Universal Solver (Z3, CVXPY, OR-Tools)

Solve Constraint Satisfaction Problems (CSP), Linear Programming (LP), Minimax optimization, and SciPy-powered advanced optimization problems.

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.

MCP Servers

MCP Servers

2

—

—

—

—

—

—

—

—

67

9