Closed vepiteski closed 1 year ago
Distinguish failures from
More generally, devise a sound output format including the solution, statistics of computation, status (property of the returned solution).
The ExecutionStats here should be it, but it doesn't handle every possible case. Also see #90.
ExecutionStats
Outdated
Distinguish failures from
More generally, devise a sound output format including the solution, statistics of computation, status (property of the returned solution).