That's the goal! The output of the randomizer engine is a path-counting zdd (that is, a binary decision diagram where each node is labelled by the number of path which lead to 1, it'll be zero-reduced because it doesn't affect path counting!).
I couldn't find prior art regarding this, so I will have to write my own. I won't shoot for performance right away. For now the target is a very simple path-counting zdd library.
That's the goal! The output of the randomizer engine is a path-counting zdd (that is, a binary decision diagram where each node is labelled by the number of path which lead to 1, it'll be zero-reduced because it doesn't affect path counting!).
I couldn't find prior art regarding this, so I will have to write my own. I won't shoot for performance right away. For now the target is a very simple path-counting zdd library.