cvc5 & cadical

[Scott Talbert]

On Tue, 18 Nov 2025, Gábor Németh wrote:

> Hi,
> I'm trying to package cvc5 1.3.1. It depends on Cadical 2.1+ (vs 1.x in 
> Debian) so I have a fork in Salsa for that too[1]. I did not send the MR yet 
> as 2.1 breaks some of the IPASIR-UP API [2].
>
> Is it OK to simply uplift (with a warning in apt upgrade notes? elsewhere?) 
> or should a separately named package cadical2 be created?  If the latter, is 
> it OK for cvc5 to dep on the new package? [3]

I think it's probably fine to update both cadical and cvc5, assuming the 
cadical version is compatible with cvc5.  As I recall, cvc5 was the main 
(only?) user of cadical?

Thanks,
Scott