[isabelle] cvc4 prover always crashing

Hi, I've noticed that lately every single time
I use Sledgehammer, cvc4 always returns the message "the prover crashed".
e, z3, vampire either give me proofs or time out.

cvc4 simply never works and if my memory serves me well this
issue must have started with Isabelle 2021.

Any insights?

Many thanks
Best wishes,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.