N/A

Universal Solver (Z3, CVXPY, OR-Tools)

mcp agent Offline

Integrates Z3, CVXPY, and Google OR-Tools to solve constraint satisfaction, convex optimization, and scheduling...

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know