The text 15d2e39a4d07, as Debian 11 (Bullseye) shipped it.
an automated theorem prover
cvc4(1) on Linux now
