tools.refinery.z3:refinery-z3-solver-darwin-x86-64

Maven

Z3 Java Bindings (Darwin x86_64) 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:7e4068eb9e9dd5f3312947b8a949255fbda37411c91929852cd031fc252343d0