Skip to content

handle more goals in solve_ndisj

Ralf Jung requested 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