Cargo Features
biodivine-lib-param-bn has no features set by default.
[dependencies]
biodivine-lib-param-bn = { version = "0.5.13", features = ["print-progress", "solver-z3"] }- 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