Factual package intelligence from PyPI

z4-solver 2024.12.14.1 package intelligence

z3++

pip install z4-solver

Current version
2024.12.14.1
Python requirement
>=3.10
License
GPL-3.0-only
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
39.4 KiB
Release history
10 releases with files
Median release cadence
0 days

z4-solver dependencies

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

  1. z3-solver >=4.13.3.0

Compatibility and release files

z4-solver publishes 1 wheel and 1 source archive for version 2024.12.14.1. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Metadata completeness

PyPI does not currently declare: meaningful summary. PyDeps marks these fields as unknown instead of guessing values.

Release activity and sources

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