Skip to content

Optimization: print more solver info

Sjoerd Geevers requested to merge print_more_solver_info into master

Print more info about the solver, such as wall-clock time and details about why a solver failed.

Merge request reports