Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Better constraints for forall links #14

Open
RichardMoot opened this issue Mar 23, 2015 · 1 comment
Open

Better constraints for forall links #14

RichardMoot opened this issue Mar 23, 2015 · 1 comment
Assignees
@RichardMoot
Labels
enhancement
Milestone
Version One

Comments

@RichardMoot
Copy link
Owner

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.
@RichardMoot
Copy link
Owner Author

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

@RichardMoot RichardMoot modified the milestone: Version One Apr 8, 2015
@RichardMoot RichardMoot self-assigned this Apr 8, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RichardMoot RichardMoot

Labels
enhancement
Projects
None yet
Milestone
Version One
Development

No branches or pull requests
1 participant
@RichardMoot