SmtEngine(3cvc) on Linux

The text a8c1427048e7, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

the primary interface to CVC4's theorem-proving capabilities