Cargo Features
oxidd-rules-mtbdd has no features set by default.
[dependencies]
oxidd-rules-mtbdd = { version = "0.4.0", features = ["multi-threading", "statistics"] }- multi-threading
-
Enable multi-threaded apply implementations
- statistics
-
Enable statistics generation
Affects
oxidd-rules-mtbdd::print_stats…