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

Data structure for tree decomposition #9

Closed
manuEbg opened this issue May 23, 2023 · 3 comments
Closed

Data structure for tree decomposition #9

manuEbg opened this issue May 23, 2023 · 3 comments
Assignees
@jfhn

Comments

@manuEbg
Copy link
Owner

manuEbg commented May 23, 2023

We need a Data structure to store and work on tree decompositions.
This was referenced May 23, 2023
Closed
Closed
@jfhn jfhn self-assigned this May 23, 2023
@jfhn
Copy link
Collaborator

jfhn commented Jun 1, 2023

Is this issue even needed when we just use the arboretum library mentioned in #7 ?

@manuEbg
Copy link
Owner Author

manuEbg commented Jun 1, 2023

Your choice... but remember that you wanted to generate NICE tree-decompositions

@manuEbg
Copy link
Owner Author

manuEbg commented Jun 2, 2023

Ah, I guess since we have #18 we can close this one...

@manuEbg manuEbg closed this as completed Jun 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jfhn jfhn

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@manuEbg @jfhn