Skip to content

handle more goals in solve_ndisj

Ralf Jungrequested to merge
ralf/solve_ndisj into master

We should only land this after the deadline since solving more goals can break things.

Merge request reports