New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create a halmos Docker image with multiple solvers preinstalled #282

Closed

karmacoma-eth opened this issue May 2, 2024 · 2 comments

Labels

enhancement help wanted

Collaborator

karmacoma-eth commented May 2, 2024

Description TBD

karmacoma-eth added the enhancement label

daejunpark added the help wanted label

Collaborator

daejunpark commented May 3, 2024

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/

Collaborator Author

karmacoma-eth commented Jun 5, 2024

karmacoma-eth closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment