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

Maven

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

Versions collected1

Direct dependencies—From release 4.12.6

Last observed20 Oct, 22:58 UTC

Downloads & popularity

Awaiting observations

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

Collected releases

Version	Published	Direct dependencies	Open version
4.12.6	Unknown	—

No matching advisories collected

This describes our collected data; it is not a security assessment.

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.

package:bd4731c807eb4d29f22bc8d683ec64edd3efe2a487bba48de82a5edb10e3d045