Projects: pypi: z3
https://packages.ecosyste.ms/registries/pypi.org/packages/z3
Backup ZFS snapshots to S3
15 versions
Latest release: over 8 years ago
2 dependent packages
7,215 downloads last month
Enhanced Analysis
Repository Activity:
Repository Owner:
Presslabs (organization)
Smart Managed WordPress Hosting Academic
Smart Managed WordPress Hosting Academic
README Analysis:
Science Score: 75/100
Starting Score: 100 points
Bonuses:
-
+20
Academic repository owner
Repository owned by academic institution -
+15
Institutional repository owner
Repository owned by research institution -
+2
Science terms in README
1 scientific terms found in README
Penalties:
-
-10
PyPI ecosystem
General-purpose ecosystem -
-15
No science keywords
No scientific terms found in keywords/classifiers -
-10
No science terms in description
No scientific terms found in description -
-25
Non-science indicators
1 non-scientific terms found
Very Likely Science (75)
Papers Mentioning z3 1
10.1007/s10817-016-9373-5
Relative Termination via Dependency PairsCited by: 0
Author(s): José L. Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Software Mentions: 1
Published: about 10 years ago