The text 472dc01eb42c, as Debian 12 (Bookworm) shipped it.
an automated theorem prover
cvc4(1) on Linux now
