[DRAFT] add bitwuzla build for linux

[charles-cooper]

Description

fix #654

Checklist

• tested locally
• added automated tests
• updated the docs
• updated the changelog

[msooseth]

First of all, thank you for this! I really like that you managed to make it build! At the same time, I agree with some of the folks that we shouldn't be adding bitwuzla to our build system. Even though bitwuzla is basically a requirement to run hevm at a reasonable pace. What do you think we should do? I wanna release a new hevm, so I am a bit unsure what we should do... Any ideas welcome :)

Mate

[charles-cooper]

First of all, thank you for this! I really like that you managed to make it build! At the same time, I agree with some of the folks that we shouldn't be adding bitwuzla to our build system. Even though bitwuzla is basically a requirement to run hevm at a reasonable pace. What do you think we should do? I wanna release a new hevm, so I am a bit unsure what we should do... Any ideas welcome :)

Mate

i mainly just copied the existing windows build :)

i would say that if bitwuzla is effectively a requirement for hevm, it makes sense to bundle it as part of the release binaries, especially until bitwuzla starts releasing their own binaries. essentially, it is the pragmatic, rather than the "purist" approach. it could be a separate file, but documenting that it is there in the readme will make it much easier for people to use hevm "as intended". the reason is that it introduces unnecessary friction for people who are trying to run hevm, it's not entirely clear which bitwuzla version or how to get the binary.

that is just what i would do if i were a maintainer of hevm. since you ultimately have to make the decision whether the maintenance overhead is worth it. if you judge it's not worth it, feel free to close the PR, no worries!

[gustavo-grieco]

Is the optional cryptominisat dependency from bitwuzla useful for hevm?

[msooseth]

Honestly, not really. I am the CryptoMiniSat author, so I am allowed to say that :D But in some cases, it certain is a huge benefit. It depends on the case. But in general, likely not.