Lib.rs

Cargo Features

[dependencies]
oxidd-rules-bdd = { version = "0.6.0", default-features = false, features = ["simple", "complement-edge", "multi-threading", "statistics"] }

default = complement-edge, multi-threading, simple

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

simple default

Enable the simple BDD implementation

Affects oxidd-rules-bdd::simple…

complement-edge default

Enable the complement edge BDD implementation

Affects oxidd-rules-bdd::complement_edge…

multi-threading default

Enable multi-threaded apply implementations

statistics

Enable statistics generation

Affects complement_edge::print_stats, simple::print_stats…