- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
The Decision Kit is a collection of data structures that are useful
for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams.