bitwuzla

0.9.1

SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions

Install

brew install bitwuzla

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	0.9.1	File SHA-256 `9b31ae77c1713b3850cfe77fb9d2970147f8c0eb3f99397e3f0de41dd2d4e9ae`
Apple Silicon	Tahoe	0.9.1	File SHA-256 `e41762ff9c458e975a603d629d80a2fc7d16706be2a75bf84bea3da723acd36d`
Apple Silicon	Sequoia	0.9.1	File SHA-256 `6c21172734c5fc4f840f4645001daa0372bb916b7ecf03cf2a71bb5f4b5106be`
Apple Silicon	Sonoma	0.9.1	File SHA-256 `f0e8fc8e07781e375cbc121c8065964d9d007adcf25770003f1622468ce2e644`
Intel	Sonoma	0.9.1	File SHA-256 `d2718f108e8027774c108021fb006069a3153b2356e9f2cf16938661891775fb`
ARM64	Linux	0.9.1	File SHA-256 `7e52048ed6be0632426a33eb8bb932a46bcf65c7e79dd0daf3f2b7207836375d`
x86_64	Linux	0.9.1	File SHA-256 `9a31b954433598ee45f3eb15f04ace680ab97113f44f1ab61c28cb406276a0f5`