The bitwuzla SMT solver, which is the successor to boolector, has recently come out with a 0.2.0 release. We should build bitwuzla as part of what4-solvers. This will also be a prerequisite for adding bitwuzla support in other tools, such as what4 (see https://github.com/GaloisInc/what4/pull/124).
The
bitwuzlaSMT solver, which is the successor toboolector, has recently come out with a0.2.0release. We should buildbitwuzlaas part ofwhat4-solvers. This will also be a prerequisite for addingbitwuzlasupport in other tools, such aswhat4(see https://github.com/GaloisInc/what4/pull/124).