Lib.rs
›
Users
#
biodivine
#
boolean
smijeva
Eva Šmijáková
Joined crates-io 2 years ago. Joined GitHub 7 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
xsafran1
,
daemontus
,
ondrej33
smijeva created 1 crate
biodivine-pbn-control
Founded in Feb 2022. Last updated 9 months ago.
Co-owns 3 crates
biodivine-lib-bdd
1.0
K
Member since Jan 2023 (2 years)
biodivine-lib-param-bn
Member since Jan 2023 (2 years)
biodivine-hctl-model-checker
Member since Jan 2023 (2 years)