tools.aqua:z3-turnkey
v4.14.1Maven· JavaThe verdict
Aging — last published 11 months ago — check before adopting. Check the repo for activity before adopting.
Check the repo for activity before adopting.
Live from the Maven registry · derived rules, not AI
How it scores
MaintenanceAging
PopularityUnknown
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published 11 months ago — check before adopting.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
non-standard
Dependencies
No runtime dependencies
Recent releases
- 4.14.111 months ago
- 4.14.0over a year ago
- 4.13.4over a year ago
- 4.13.0.1over a year ago
- 4.13.02 years ago
- 4.12.62 years ago
- 4.12.52 years ago
- 4.12.42 years ago