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
,
ondrej33
,
daemontus
smijeva created 1 crate
biodivine-pbn-control
Founded in Feb 2022. Last updated 4 months ago.
Co-owns 3 crates
biodivine-lib-bdd
Member since Jan 2023 (a year)
biodivine-lib-param-bn
Member since Jan 2023 (a year)
biodivine-hctl-model-checker
Member since Jan 2023 (a year)