Skip to content
GitLab

solve_ndisj: solve more goals involving chains of differences

Merged Ralf Jung requested to merge ralf/solve_ndisj into master

This improves solve_ndisj to handle goals that came up in iris/examples as part of the logically atomic triple mask change.

Merge request reports