Skip to content

Implement BDD, SDD, and VTree serialization to dot/graphviz#150

Draft
mattxwang wants to merge 3 commits into
mainfrom
dot-serialization
Draft

Implement BDD, SDD, and VTree serialization to dot/graphviz#150
mattxwang wants to merge 3 commits into
mainfrom
dot-serialization

Conversation

@mattxwang
Copy link
Copy Markdown
Member

@mattxwang mattxwang commented Jul 21, 2023

Bypasses the need for a local script + makes it easier for us to reason about toy examples!

TODO: doesn't deal with compl?

@mattxwang mattxwang force-pushed the dot-serialization branch from a599fe2 to bc1ccd3 Compare July 21, 2023 18:18
@mattxwang mattxwang marked this pull request as draft July 21, 2023 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant