Skip to content
Snippets Groups Projects

added default max cut num

Passed
, finished
Related merge request !616 to merge default_max_cut_num
merge request
4 jobs 18 minutes 25 seconds, queued for 5,779 seconds