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 import/export #1

Open
3 of 10 tasks
SHoltzen opened this issue Nov 5, 2021 · 0 comments
Open
3 of 10 tasks

Add import/export #1

SHoltzen opened this issue Nov 5, 2021 · 0 comments
Labels
enhancement
Milestone
1.0

Comments

@SHoltzen
Copy link
Collaborator

SHoltzen commented Nov 5, 2021 •
edited
Loading

Updating this to be a tracking issue for the standardized import/export of all the main datastructures within the library.

All these import/export tools can be found in src/serialize/

  • Serialize/Deserialize BDD
  • Serialize/Deserialize SDD
  • Serialize/Deserialize d-DNNF
  • Serialize/Deserialize VTRee
  • Serialize/Deserialize DTree
  • Serialize/Deserialize Interaction Graph
  • Serialize/Deserialize weighted model counting parameters

In addition to serializing/deserializing these data structures, it's necessary to be able to load them into the relevant builder/manager. Here we track these workflows:

  • Import/Export BDD from builder
  • Import/Export SDD from builder
  • import/Export d-DNNF from builder
@SHoltzen SHoltzen added this to RSDD Jul 23, 2023
@SHoltzen SHoltzen moved this to Todo in RSDD Jul 23, 2023
@SHoltzen SHoltzen added this to the 1.0 milestone Jul 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
RSDD
Status: Todo
Milestone
1.0
Development

No branches or pull requests
1 participant
@SHoltzen