Skip to content
GitLab

handle more goals in solve_ndisj

Merged 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