smack icon indicating copy to clipboard operation
smack copied to clipboard
verified publisher icon smackers

Adding Boolector to our portfolio of solvers

Open zvonimir opened this issue 6 years ago • 0 comments

It seems that Boolector currently supports QF_AUFBV, which should be good enough for many SMACK benchmarks. And it regularly beats Z3 in this category. So it would be good to try it out at some point.

zvonimir avatar Jan 16 '20 21:01 zvonimir