Skip to content
GitLab

solve_ndisj: handle goals containing _ ∖ _ ∖ _

Merged Ralf Jung requested to merge ralf/solve_ndisj into master

This resolves the last remaining solve_ndisj FIXME in lambda-rust. :)