BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

synth-verify

v0.11.27crates.io· Rust

Z3 SMT translation validation for the Synth compiler

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
38 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
  • 0.11.27this month
  • 0.11.26this month
  • 0.11.25this month
  • 0.11.24this month
  • 0.11.23this month
  • 0.11.22this month
  • 0.11.21this month
  • 0.11.20this month
synth-verify — Z3 SMT translation validation for the Synth compiler (Rust / crates.io) — verdict, alternatives & security · Modules