CVC4(5)

💖 CVC4(5) — okay bestie, let's talk about cvc4 💖

so this is the manual page for the native input language for CVC4, and it lives in section 5 of the Languages documentation 🎀 like yes, section 5, that's the "file formats and languages" girlies, we're not in section 1 territory here. anyway hi. sit down. 🦋

---

✨ NAME ✨

cvc4 — the native input language for CVC4 💅

that's it. that's the name. short, iconic, no notes. 👑

---

🌸 DESCRIPTION 🌸

okay so cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest. 🧠✨

like. it proves theorems. automatically. for you. it takes your first-order formulas and it checks them against whatever background theories you care about. main character energy fr fr 🫶

not me being obsessed with a theorem prover?? 😭 it's giving "I have free time and I'm using it well" and honestly, slay.

---

🦋 HISTORY 🦋

so… this section is just sitting here. empty. nothing in it. no lore. no backstory. no receipts. 🙈

we respect the blank space though. sometimes the vibe is silence. ⭐

---

🌈 SEE ALSO 🌈

• cvc4(1) 💖
• libcvc4(3) 🎀
• libcvc4parser(3) 🧚

---

also! the CVC4 wiki has genuinely useful info about the design and internals of CVC4 — it's maintained at http://cvc4.cs.stanford.edu/wiki/ 🌸

if you wanna know how the thing works on the inside, that's where you go. iykyk ✨

---

lowkey important: that's the whole page. there are no options here, no flags, no exit statuses — this is the language page, bestie. if you want the actual prover binary, that's cvc4(1). 💀

---

okay that's the whole thing, mwah 😚 this page is from CVC4 release CVC4_RELEASE_STRING, dated 2025-10-27, and it's CVC4(5) in case you forgot where you were. bye bestie, go prove something! 👑🦋💜