Back to packageRELEASE DETAILS

4.12.6

Maven

tools.refinery.z3:refinery-z3-solver-darwin-aarch64

Z3 Java Bindings (Darwin aarch64) for Refinery, an efficient graph solver for generating well-formed models

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 · 0.37 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 · 0.25 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:465fdb6410eeb6184497fc563080a67297753f949759e0861a78b4e1cd08d909

Other collected versions

View all collected versions →