Cargo Features
biodivine-lib-param-bn has no features set by default.
[dependencies]
biodivine-lib-param-bn = { version = "0.7.2", features = ["print-progress", "solver-z3", "serde"] }- print-progress
- solver-z3
-
Enables z3
Used for fixed-point enumeration (and hopefully other things soon).
Affects
fixed_points::solver_iterator,biodivine-lib-param-bn::solver_context…Required by bench-fixed-points-solver and check-fixed-points-solver binaries
- serde
-
Enables serde, serde of biodivine-lib-bdd