Factual package intelligence from PyPI

jz3 0.1.13 package intelligence

A library for benchmarking difference smt sovlers

pip install jz3

Current version
0.1.13
Python requirement
>=3.11
License
MIT
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
15.9 MiB
Release history
13 releases with files
Median release cadence
1 days

jz3 dependencies

PyPI declares 2 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. z3-solver
  2. matplotlib

Compatibility and release files

jz3 publishes 1 wheel and 1 source archive for version 0.1.13. Wheel platform tags: any.

Declared Python classifiers: 3.11, 3.12, 3.13, 3.8.

Release activity and sources

PyPI lists 13 releases with files. The first dated release is ; 13 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .