Lib.rs
›
Users
#
biodivine
#
boolean
xsafran1
David Safranek
Joined crates-io 2 years ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (fi.muni.cz)
Maintainer dashboard
Shares crates with
smijeva
,
daemontus
,
ondrej33
Co-owns 4 crates
biodivine-lib-bdd
Member since Jan 2023 (2 years)
biodivine-hctl-model-checker
Member since Jan 2023 (2 years)
biodivine-lib-param-bn
Member since Jan 2023 (2 years)
biodivine-pbn-control
Member since Jan 2023 (2 years)