We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/szeider/mcp-solver'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
bounded_sum_unsat.md•391 B
Find an assignment of integers to variables a, b, c, d, and e that:
1. Each variable must be between 1 and 10 inclusive
2. All variables must have different values
3. The sum of all variables must be exactly 36
4. The product of a and b must be less than 20
5. The product of c, d, and e must be at least 200
6. Any two variables must sum to at least 11
or decide that this is impossible.