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

Add Impossible Constraints validator #122

Open
j6k4m8 opened this issue Jun 7, 2022 · 0 comments
Open

Add Impossible Constraints validator #122

j6k4m8 opened this issue Jun 7, 2022 · 0 comments
Assignees
@j6k4m8
Labels
enhancement New feature or request validator
Milestone
Version 1.0.0

Comments

@j6k4m8
Copy link
Member

j6k4m8 commented Jun 7, 2022

We should be able to automatically catch things like this:

A.type = 4
A.type != 4

Right now, we'll catch them in certain instances, but not when constraints are inherited from automorphisms (see #118). Getting smarter about this will likely improve runtime considerably.
@j6k4m8 j6k4m8 added enhancement New feature or request validator labels Jun 7, 2022
@j6k4m8 j6k4m8 added this to the Version 1.0.0 milestone Jun 7, 2022
@j6k4m8 j6k4m8 self-assigned this Jun 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@j6k4m8 j6k4m8

Labels
enhancement New feature or request validator
Projects
None yet
Milestone
Version 1.0.0
Development

No branches or pull requests
1 participant
@j6k4m8