|
bitwuzla
☆
« Back to VersTracker
|
||||||||||
|
Description: SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions |
||||||||||
| Type: Formula | Tracked Since: Feb 20, 2026 | ||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||
| Install: brew install bitwuzla | ||||||||||
| Version History | ||||||||||
|