Description
Provides a Binary Decision Diagram library for representing and manipulating Boolean functions efficiently. It is used in verification, synthesis, formal methods, and logic-heavy software.
Install it when developing or running tools that depend on Buddy. It is a specialized library, not a graphical diagram editor.