tdk
The Decision Kit is a collection of data structures that are useful
Description
for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams.
Install
- Published
-
10 Sep 2015
- Maintainers
-
Sources
Dependencies
Reverse Dependencies