Release all allocations held by ctx and finalise the logger.
Must be the last call in the lifecycle; ctx is invalid afterwards.
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| type(solver_run_context_t), | intent(inout) | :: | ctx |
Solver context to tear down. |