z3.rs Update static z3 from 4.8.12 to 4.10.1.

Update static z3 from 4.8.12 to 4.10.1.

Open waywardmonkeys opened this issue 3 years ago • 2 comments

Jul 21 '22 20:07 waywardmonkeys

This seems to work for me locally (the tests pass) and it may help out with #200.

Jul 21 '22 20:07 waywardmonkeys

Wait a day and now I get to update to 4.10.1 instead of 4.9.1 :)

Jul 23 '22 00:07 waywardmonkeys

FWIW, I've been running this branch locally for a while and it works well. z3 4.8 is somehow much slower for my use case and the upgrade fixes this.

Sep 27 '22 03:09 dariusf

Looks like Z3 is now up to 4.12.1; is it worth updating even further?

Edit: added in #228.

Mar 21 '23 17:03 genos