Architecture problem

[Makarius]

On 21/10/2025 20:44, Jasmin Blanchette 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?

 From my side, cvc5 is OK: we merely download the executables for all 
platform. See also https://github.com/cvc5/cvc5/releases


	Makarius