Top 3.3% docker downloads on crates.io
crates.io : rsmt2
Wrapper for SMT-LIB 2 compliant SMT solvers.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/rsmt2
Keywords:
solver
, smt
, satisfiability
, sat
, smt-lib
License: MIT,Apache-2.0
Latest release: almost 3 years ago
First release: almost 9 years ago
Dependent packages: 1
Dependent repositories: 13
Downloads: 51,945 total
Stars: 66 on GitHub
Forks: 14 on GitHub
Docker dependents: 29
Docker downloads: 23,282,367
Total Commits: 277
Committers: 7
Average commits per author: 39.571
Development Distribution Score (DDS): 0.274
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago