Tractables/LogicCircuits.jl

Infer Vtree from StructLogicalΔ

khosravipasha opened this issue · 0 comments

khosravipasha commented

A function to infer the vtree from the structure, could be very useful and make things easier. For example here:

https://github.com/Juice-jl/LogicCircuits.jl/blob/08779346207931d7fdc6a9fe6ffa2fbbdac003d8/src/IO/CircuitSaver.jl#L88-L90

Also remove the todo from code, after this is done.