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

VAMPIRE: Fix type uniqueness to avoid duplicates #36

Closed
ArenBabikian opened this issue Apr 4, 2019 · 1 comment
Closed

VAMPIRE: Fix type uniqueness to avoid duplicates #36

ArenBabikian opened this issue Apr 4, 2019 · 1 comment
Assignees
@ArenBabikian
Labels
enhancement

Comments

@ArenBabikian
Copy link
Collaborator

No description provided.

@ArenBabikian ArenBabikian self-assigned this Apr 4, 2019
ArenBabikian added a commit that referenced this issue Apr 4, 2019
@ArenBabikian
Facilitate #31, close #36
4829f58
ArenBabikian added a commit that referenced this issue Apr 5, 2019
@ArenBabikian
Add small detail to #36
e8ec04b
@ArenBabikian
Copy link
Collaborator Author

Options to keep or discard duplicates are availablie in the code. Simply modify the value of the DUPLICATES boolean at line 97.

ArenBabikian added a commit that referenced this issue Jun 8, 2020
@ArenBabikian
Facilitate #31, close #36
9a77070
ArenBabikian added a commit that referenced this issue Jun 8, 2020
@ArenBabikian
Add small detail to #36
0145f83
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ArenBabikian ArenBabikian

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ArenBabikian