Current collected state Current
Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
PACKAGE EXPLORERView in registry
tools.aqua:jconstraints-z3
MavenjConstraints-Z3 is the Z3 API plug-in for jConstraints
Versions collected1
Direct dependencies—From release 0.9.9
Last observed20 Oct, 22:58 UTC
Downloads & popularity
Awaiting observationsNo metric observations yet
Download counts and popularity will appear here as the collector receives them.
Versions 1
Collected releases| Version | Published | Direct dependencies | Open version |
|---|---|---|---|
| 0.9.9 | Unknown | — |
Package advisories
0No matching advisories collected
This describes our collected data; it is not a security assessment.
Metadata history
Meaningful changesRecord identity
package:26036449d1e55de4e2ac6acda3de043e699c28fbc280f192605af07218079aa0