Skip to content

solve_ndisj: solve more goals involving chains of differences

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