Lib.rs
›
Users
#
biodivine
#
boolean
xsafran1
David Safranek
Joined crates-io a year ago. Joined GitHub 11 years ago.
GitHub
crates.io
Home (fi.muni.cz)
Maintainer dashboard
Shares crates with
smijeva
,
ondrej33
,
daemontus
Co-owns 4 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)
biodivine-pbn-control
Member since Jan 2023 (a year)