python_interrupt
Interrupt running code in the solving kernel while preserving its state. Use it to halt long-running MiniZinc solving without losing kernel progress.
Instructions
Interrupt running code in the solving kernel (state is preserved).
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "python_interrupt"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kernel_id | No |