Provides constraint satisfaction and optimization capabilities to LLMs and AI agents for scheduling, resource allocation, routing, budget optimization, and configuration problems using Google OR-Tools CP-SAT solver.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
[](https://m8ven.ai/mcp/ibm-chuk-mcp-solver-n19734)