OxiDD is a modular, safe, and performant decision diagram framework written in Rust. It supports various kinds of diagrams, interfaces to C++ and Python, and provides large-scale and interactive diagram visualizations through OxiDD-vis.
Contact: Nils Husung, Tar van Krieken, Clemens Dubslaff