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 respects_vtree #27

Closed
guyvdbroeck opened this issue Jul 13, 2020 · 2 comments
Closed

add respects_vtree #27

guyvdbroeck opened this issue Jul 13, 2020 · 2 comments
Assignees
@guyvdbroeck
Milestone
Version 0.3

Comments

@guyvdbroeck
Copy link
Member

Add the ability to verify structured decomposability.
@guyvdbroeck guyvdbroeck self-assigned this Jul 13, 2020
@khosravipasha
Copy link
Collaborator

khosravipasha commented Jul 16, 2020 •
edited
Loading

Also this is relevant #8 (inferring the vtree if not given)

This is also related: https://github.com/Juice-jl/LogicCircuits.jl/issues/12 (saving logic circuits without vtrees given)

@khosravipasha khosravipasha added this to the Version 0.2 milestone Jul 25, 2020
@guyvdbroeck
Copy link
Member Author

Added the ability to ask respects_vtree(circuit,vtree) and respects_vtree(struct_circuit).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@guyvdbroeck guyvdbroeck

Labels
None yet
Projects
None yet
Milestone
Version 0.3
Development

No branches or pull requests
2 participants
@guyvdbroeck @khosravipasha