Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New Z3 dependency

view this post on Zulip Email Gateway (Aug 19 2022 at 16:27):

From: Jasmin Christian Blanchette <jasmin.blanchette@gmail.com>
Dear Marco,

Thanks for the report (and sorry for the delay). This looks indeed like a new requirement, at least on Linux. Now that Z3 4.3.2 has officially been released, I will need to produce new packages anyway, and I'll look more closely into the issue (and/or simply update the NEWS and the requirements listed on the web site).

Cheers,

Jasmin

view this post on Zulip Email Gateway (Aug 19 2022 at 16:31):

From: marco caminati <marco.caminati@yahoo.it>
I upgraded to Isabelle2014, and noticed, among many differences I am trying to get accustomed to, that Z3 was no longer invoked by sledgehammer.

Long story short: I installed the linux package containing libgomp, and now Z3 works. I think this library was not needed in previous Isabelle releases.

Maintainers might want to state this new requirement in NEWS file.

Cheers,
Marco

Last updated: Apr 25 2024 at 12:23 UTC