Create a halmos Docker image with multiple solvers preinstalled
karmacoma-eth opened this issue · comments
Description TBD
list of solvers:
- bitwuzla: https://bitwuzla.github.io/
- yices: https://yices.csl.sri.com/
- boolector: https://github.com/Boolector/boolector
- cvc4: https://cvc4.github.io/
- cvc5: https://cvc5.github.io/
- stp: https://stp.github.io/