solve_ndisj: handle goals containing _ ∖ _ ∖ _ (!303) · Merge requests · Iris / stdpp

Status	Pipeline	Created by	Stages
Passed 00:04:24 Jul 23, 2021	prefer Hint Resolve over Hint Extern #50909 303 f1a4f71c		Stage: build	Download artifacts No artifacts found
Passed 00:04:28 Jul 22, 2021	solve_ndisj: handle goals containing _ ∖ _ ∖ _ #50830 303 a9c8861d		Stage: build	Download artifacts No artifacts found

solve_ndisj: handle goals containing _ ∖ _ ∖ _