Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io : biodivine-hctl-model-checker

Library for symbolic HCTL model checking on partially defined Boolean networks.

Registry - Source - Documentation - JSON
purl: pkg:cargo/biodivine-hctl-model-checker
Keywords: symbolic, model-checking, boolean-network, systems-biology, hctl, rust
License: MIT
Latest release: 6 months ago
First release: over 1 year ago
Downloads: 4,790 total
Stars: 0 on GitHub
Forks: 0 on GitHub
Total Commits: 207
Committers: 3
Average commits per author: 69.0
Development Distribution Score (DDS): 0.333
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago

    Loading...
    Readme
    Loading...