Better constraints for forall links

Open RichardMoot opened this issue 10 years ago • 1 comments

Forall links have the property that no atom containing the eigenvariable of a link can every be identified with a node which dominates the forall link of this variable. Adding this constraint would reduce the search space and make testing the forall contraction less complicated.

Mar 23 '15 22:03 RichardMoot

Besides the forall links, better constraints to reduce the search space are welcome anywhere

Mar 26 '15 01:03 RichardMoot