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