[isabelle] cvc4 prover always crashing
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] cvc4 prover always crashing
- From: "Dr A. Koutsoukou-Argyraki" <ak2110 at cam.ac.uk>
- Date: Thu, 02 Sep 2021 23:28:56 +0100
- In-reply-to: <email@example.com>
- References: <firstname.lastname@example.org>
- User-agent: Roundcube Webmail/1.4.11
Hi, I've noticed that lately every single time
I use Sledgehammer, cvc4 always returns the message "the prover
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and