Rucdd is an (sofar very basic) R wrapper for the CUDD C-library,
for the manipulation of decision diagrams which supports binary decision diagrams (BDDs),
algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
At this stage, the package provides functions based on the CUDD library and especially its C++ object-oriented wrapper but does not grant any possibility to use the C++ classes using R objects directly.
If you are interested in contributing to this package, feel free to create an issue or a pull request. Especially, help with porting the C++ classes and all their methods to R would be highly appreciated.
The CUDD library on which this package is based was developed at the University of Colorado and was published under the BSD license. No connection to the original authors is implied or should be inferred.