search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Boolector (**request**) #13

Closed weaversa closed 2 years ago

weaversa commented 2 years ago

boolector had been included in the docker containers for Cryptol and SAW. It does outperform the currently available solvers on some problems.

RyanGlScott commented 2 years ago

Yes, good idea. I've created a new snapshot-20220131 tag that includes a bindist with Boolector 3.2.2.