Tractables/LogicCircuits.jl

Literal index support other that 1:N (or also support for reindexing)

Closed this issue · 1 comments

khosravipasha commented

  1. Do we want to support reindxing? Might be useful when combining two different circuit with overlap in variables but the indexes are different (for example one variable could be x_1 in first cicuit but x_3 in second circuit).

  2. How does indexing of literals work after we do conjunction/disjunction/forgetting/conditinoing etc, specially if we want to save them and load them again later on.

khosravipasha commented

Closing, as the new api should support other than 1:N.
Reindexing might not be as useful, if needed we can reopen this later on.