docs.rs failed to build cudd-sys-0.1.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
cudd-sys-1.1.2-alpha.2
Rust Bindings for the CUDD library
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.