Skip to content
Snippets Groups Projects
Commit c3ec3e30 authored by Jeremie Deray's avatar Jeremie Deray
Browse files

default solver report quiet

parent 15307e61
No related branches found
No related tags found
1 merge request!138Solver manager
Pipeline #