Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Projects: pypi: z3
https://packages.ecosyste.ms/registries/pypi.org/packages/z3
Backup ZFS snapshots to S3
15 versions
Latest release: over 6 years ago
2 dependent packages
7,215 downloads last month
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: over 8 years ago