> For the complete documentation index, see [llms.txt](https://notes.samjakob.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://notes.samjakob.com/cudd.md).

# CUDD

- [CUDD C++ Operators](https://notes.samjakob.com/cudd/cudd-c++-operators.md): A reference for the C++ operators.
- [Rendering CUDD Diagrams with GraphViz (C++ API)](https://notes.samjakob.com/cudd/rendering-cudd-diagrams-with-graphviz-c++-api.md): Instructions and tips for rendering \[A/B/Z]DDs as GraphViz dot files with CUDD's C++ API.