biodivine-lib-bdd has no features set by default.
[dependencies] biodivine-lib-bdd = { version = "0.5.23", features = ["serde"] }
Enables serde
biodivine-lib-bdd has 1 feature without comment.