solve_model_by_path
Solve MiniZinc constraint models from file paths, with optional data file, solver choice, and solution limits.
Instructions
Solve a MiniZinc model given by file paths
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"model_path": "<model_path>"
},
"name": "solve_model_by_path"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| solver | No | gecode | |
| data_path | No | ||
| model_path | Yes | ||
| all_solutions | No | ||
| max_solutions | No | ||
| timeout_seconds | No |