halmos icon indicating copy to clipboard operation
halmos copied to clipboard
verified publisher icon a16z

Create a halmos Docker image with multiple solvers preinstalled

Open 0xkarmacoma opened this issue 1 year ago • 1 comments

Description TBD

0xkarmacoma avatar May 02 '24 23:05 0xkarmacoma

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/

daejunpark avatar May 03 '24 01:05 daejunpark

in https://github.com/a16z/halmos/pull/302

0xkarmacoma avatar Jun 05 '24 20:06 0xkarmacoma