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
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
