New posts in Binary Decision Diagram