zombie proof processes: veriT

[Alexander Pach]

Am 10.11.25 um 23:09 schrieb Makarius:
>
> Maybe that helps. So it might be a good time to prompt the veriT guys 
> to make a new stable release eventually. (The sledgehammer and/or SMT 
> guys need to do this.)


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.

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

     Alexander