Skip to content
Snippets Groups Projects

handle more goals in solve_ndisj

Passed
Ralf Jung created pipeline for commit b217790f
, finished
Related merge request !294 to merge ralf/solve_ndisj
merge request
2 jobs 5 minutes 11 seconds, queued for 9 seconds