BuDDy library
E2000678
UNEXPLORED
The BuDDy library is a software package for efficient manipulation of binary decision diagrams, widely used in formal verification and model checking applications.
All labels observed (1)
| Label | Occurrences |
|---|---|
| BuDDy library canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
OBDDs