Skip to content

GitLab

Merged
Created by Ralf Jung@jungOwner

solve_ndisj: handle goals containing _ ∖ _ ∖ _

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