Skip to content

Signal handling

Tim Luchterhand requested to merge signal_handling into master

added kill signal handler to shut down the solver cleanly. This is useful when serializing solutions of large problems that cannot be solved to optimality in reasonable time

Merge request reports