Rethink invert_input
Closed this issue · 1 comments
daemontus commented
Currently, we have an experimental invert_input operation on Bdds, but we need to rethink how this should be described and presented to the user. Also, the algorithm breaks the DFS order of the Bdd - this needs to be reworked to also be valid.