Return different error code for SolverProblemsException
To make it easier for external tools to detect SolverProblems and react to them accordingly, this PR introduces a new exit code.main
parent
09e31bf704
commit
5160dd2f5e
Loading…
Reference in New Issue