[isabelle-dev] Status of HOL/SMT

[Jasmin Blanchette]

Am 04.12.2012 um 15:29 schrieb Makarius:

> The question which SMT/Z3 version to ship with the release basically has time until the new year.

I'm a big fan of "if it ain't broken don't fix it", so let's defaut on 3.2, and in the unlikely event that both the parser issue with 4.0 and "rewr_conv" are resolved in time, we can reconsider. Incidentally, Z3 is now at version 4.3, which I haven't tried to package yet.

Jasmin