Expand description
Defines exports and the C api
Modules§
- builder
- Contains the core datastructures for constructing and maintaining decision diagrams.
- constants
- plan
- repr
- This module contains the core data-structures for representing logical formulae, as well as auxiliary data-structures that describe how formulae behave (i.e. variable orderings and decompositions)
- serialize
- contains representations of core datastructures that can be serialized
- util
- Useful utilities and generic data structures used throughout the library
Macros§
- BITFIELD
- A generic bit-field which makes it easier to get and set bit-level fields