Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 2.1% downloads on pypi.org
Top 1.1% dependent packages on pypi.org
Top 2.4% dependent repos on pypi.org
pypi.org : pysmt
A solver-agnostic library for SMT Formulae manipulation and solving
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:pypi/pysmt
License: Apache-2.0
Latest release: almost 2 years ago
First release: over 9 years ago
Dependent packages: 8
Dependent repositories: 38
Downloads: 21,485 last month
Stars: 9,803 on GitHub
Forks: 1,448 on GitHub
Total Commits: 15684
Committers: 315
Average commits per author: 49.79
Development Distribution Score (DDS): 0.429
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago