Verified record · from the answer index

bitwuzla

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

cli:brew:bitwuzla · published by bitwuzla · source repository