Wrapper for the CUDD library for decision diagrams - View it on GitHub