Skip to content

make solve_ndisj work on goals of the form 'X1 ∪ X2 ## Y'

Ralf Jung requested to merge ralf/solve_ndisj into master

Merge request reports