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
shift_assignment.md•496 B
## Problem: Assigning Shifts to Employees
We need to assign 2 employees to work 3 shifts (morning, afternoon, evening). Each shift must be covered by exactly one employee. However, employees have preferences about which shifts they like or dislike.
The goal is to:
- Ensure each shift is covered by exactly one employee.
- Assign at most 2 shifts to any employee.
- Prefer assigning employees to their preferred shifts.
Model and solve the previous problem using answer set programming (ASP)