zombie proof processes: veriT

[Makarius]

On 11/11/2025 00:22, Alexander Pach via isabelle-dev wrote:
> 
> Dear Makarius, dear list,
> 
> for completeness sake:
> There is a newer stable release (and a bugfix release based upon that) 
> currently available on <https://www.verit-solver.org/download/>, the latest of 
> which is version 2024.12.1 from 2025-03-01.

Thanks for the hint. That is a new download URL, which I have recorded here:

changeset:   83545:b7d4dddac250
tag:         tip
user:        wenzelm
date:        Tue Nov 11 01:03:45 2025 +0100
summary:     update URL for veriT download, without change of its version;


> The changelog <https://www.verit-solver.org/download/2024.12.1/CHANGELOG> 
> mentions some (incompatible) changes to the proof output and the Alethe 
> specification.

I can only make pro-forma updates. It is up to our "SMT guys" to say when a 
new version should be used. Currently, I proceed under the assumption of "not 
now and not for this Isabelle release".


	Makarius