cudd-sys 0.1.1

Bindings for CU Decision Diagram library (CUDD)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

[![Crates.io](https://img.shields.io/crates/v/cudd-sys?style=flat-square)](https://crates.io/crates/cudd-sys)
[![Api Docs](https://img.shields.io/badge/docs-api-yellowgreen?style=flat-square)](https://docs.rs/cudd-sys/)
[![Continuous integration](https://img.shields.io/github/workflow/status/pclewis/cudd-sys/build?style=flat-square)](https://github.com/pclewis/cudd-sys/actions?query=workflow%3Abuild)

# 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](https://github.com/ivmai/cudd). 

To learn more about CUDD, check out the [manual](https://add-lib.scce.info/assets/documents/cudd-manual.pdf) or [API documentation](https://add-lib.scce.info/assets/doxygen-cudd-documentation/cudd_8h.html).

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.