Allows usage of the CUDD decision diagram library from Rust (tested on Linux and macOS). Uses version 2.5.1 of CUDD available from the unofficial Github mirror.
To learn more about CUDD, check out the manual or API documentation.
At the moment, the bindings are functional, but there are some TODOs that need to be addressed: - Support for latest CUDD (3.0.0). - CUDD uses C macros for some basic functionality. Port these to Rust. - Everything is provided as raw C bindings. It would be nice to have some type-safe wrappers, at least for basic stuff.