[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,
Angeliki




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