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-cvc5
MavenjConstraints-cvc5 is the cvc5 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:eab90b3a665d618fd1b7b22e2139ea6c6ca56b5e80a146ce43a7de93a356e7c5