Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : reachability_solver
A linear reachability solver for directional edges
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/reachability_solver
Keywords: solver, theorem, proving, reachability, reasoning
License: MIT
Latest release: over 4 years ago
First release: over 4 years ago
Downloads: 1,638 total
Stars: 6 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/bvssvni
Last synced: 19 days ago