Back to packageRELEASE DETAILS

0.9.9

Maven

tools.aqua:jconstraints-cvc5

jConstraints-cvc5 is the cvc5 API plug-in for jConstraints

PublishedUnknown

Direct dependencies—

Transitive dependenciesNot calculated

Downloads & popularity

Awaiting observations

No metric observations yet

Download counts and popularity will appear here as the collector receives them.

Declared dependencies 0

Native requirements

— direct targetsNot calculated transitive count

No declared dependencies in this collected response

Declarations describe requirements; they are not a resolved dependency graph.

Distribution files

11 collected

Distribution 1

Source distribution · 0.13 KB

Distribution 2

Source distribution · 0.13 KB

Distribution 3

Source distribution · 0.06 KB

Distribution 4

Source distribution · 0.13 KB

Distribution 5

Source distribution · 0.06 KB

Distribution 6

Source distribution · 13.87 KB

Distribution 7

Source distribution · 0.13 KB

Distribution 8

Source distribution · 0.06 KB

Distribution 9

Source distribution · 0.13 KB

Distribution 10

Source distribution · 0.06 KB

Distribution 11

Source distribution · 298.3 KB

Metadata history

Meaningful changes

Current collected state Current

Observed since 20 Oct, 22:58 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

Record identity

package_version:7362f0b09a3f283b27633ed1668973f00a338bb2d3a36a2c91d78e8b3eb3608d

Other collected versions

View all collected versions →