BDD checker should detect convergence
Closed this issue · 0 comments
wilcoxjay commented
Similar to the set checker, it should be possible for the BDD checker to detect when no further depth is necessary. This can be implemented by keeping the previous depth of BDD and checking whether extending it by one more step changes the BDD or not.