Architecture problem

[Lawrence Paulson]

Surely this paper addresses the issues with cvc5, and it’s supposed to be included in the next release.

https://drops.dagstuhl.de/storage/00lipics/lipics-vol352-itp2025/LIPIcs.ITP.2025.26/LIPIcs.ITP.2025.26.pdf

Larry
On 21 Oct 2025 at 20:44 +0100, wrote:

Also unclear in all of this is the role of cvc5. Unlike veriT, it's under
active development and is a more complex piece of software (i.e., harder to
build). Do we also want to avoid it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251021/f3695b6b/attachment.htm>