bitwuzla vs. boolector

[Gábor Németh]

Dear Scientists,

I started packaging bitwuzla which is a successor to boolector by the same authors, who claim the latter is retired.

Can I suggest the replacement in science-logic?  I can prepare an MR.

Along the same line can/should we recommend BW in the boolector package itself?  Is there a Suggests-like field in 
d/ctrl for this at all?

What do you think?

Thanks,
Gábor