Tractables/LogicCircuits.jl

add `respects_vtree`

Closed this issue · 2 comments

guyvdbroeck commented

Add the ability to verify structured decomposability.

khosravipasha commented

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)

guyvdbroeck commented

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