Lib.rs
›
Users
#
biodivine
#
symbolic
#
bdd
#
boolean
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
ondrej33
,
smijeva
,
pclewis
,
xsafran1
daemontus created 4 crates
biodivine-lib-bdd
Founded in Feb 2020. Updated 2 days ago.
biodivine-lib-param-bn
Founded in Feb 2021. Last updated a month ago.
biodivine-xml-doc
Sole owner since May 2024. Updated 2 days ago.
sylvan-sys
Sole owner since Sep 2021. Last updated a year ago.
Co-owns 3 crates
biodivine-hctl-model-checker
Member since Jan 2023 (a year)
biodivine-pbn-control
Member since Jan 2023 (a year)
cudd-sys
Member since Aug 2021 (2 years)