Lib.rs

› oxidd-dump › Features

Cargo Features

[dependencies]
oxidd-dump = { version = "0.6.0", default-features = false, features = ["dddmp", "dot", "visualize"] }
default = dddmp, dot, visualize

These default features are set whenever oxidd-dump is added without default-features = false somewhere in the dependency tree.

dddmp default visualize

DDDMP format originally from CUDD

Enables fixedbitset

bit sets

and is_sorted

check whether an iterator is sorted
(TODO: remove this once we raise the MSRV to 1.82)

and memchr

optimized searching for characters in &[u8]

and rustc-hash ^1.1

fast hash function

Note that there is a performance regression with 2.0, see https://github.com/rust-lang/rustc-hash/issues/45

Affects oxidd-dump::dddmp…

dot default

Visualization using Graphviz DOT

visualize default = dddmp

Visualization using OxiDD-vis