Lib.rs
›
Users
#
biodivine
#
bdd
#
boolean
#
symbolic
daemontus
Samuel Pastva
Joined crates-io 4 years ago. Joined GitHub 11 years ago.
GitHub
crates.io
Home (mastodon.social)
Maintainer dashboard
Member of GitHub orgs
sybila
Shares crates with
smijeva
,
xsafran1
,
pclewis
,
ondrej33
daemontus created 4 crates
biodivine-lib-param-bn
Founded in Feb 2021. Updated 3 weeks ago.
biodivine-lib-bdd
Founded in Feb 2020. Last updated 2 months ago.
biodivine-xml-doc
Sole owner since May 2024. Last updated 6 months ago.
sylvan-sys
Sole owner since Sep 2021. Last updated 2 years ago.
Co-owns 3 crates
biodivine-hctl-model-checker
Member since Jan 2023 (2 years)
biodivine-pbn-control
Member since Jan 2023 (2 years)
cudd-sys
Member since Aug 2021 (3 years)