Description
Supplies libraries and tools for working with Binary Decision Diagrams and related decision structures. These structures are used to represent logical functions compactly in verification, synthesis, optimization, and research software.
Most desktop users will not interact with it directly. It is mainly useful for developers, researchers, or programs that need symbolic logic manipulation.