Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "boolean-network" keyword
biodivine-hctl-model-checker 0.2.2
Library for symbolic HCTL model checking on partially defined Boolean networks.11 versions - Latest release: 6 months ago - 4.79 thousand downloads total - 0 stars on GitHub - 4 maintainers
biodivine-lib-param-bn 0.5.10
Library for working with parametrized Boolean networks.26 versions - Latest release: 2 months ago - 2 dependent packages - 2 dependent repositories - 12.5 thousand downloads total - 2 stars on GitHub - 3 maintainers
Related Keywords