OPTIONS(3cvc)

💖 OPTIONS(3cvc) 💖

okay bestie, welcome to the options page — this is the options manual from the CVC4 Internals Documentation, aka the deep-lore corner of the 3cvc section. it's giving "internals only, no normies" energy and honestly? we respect it. 🫶

---

✨ NAME ✨

options — the options infrastructure 🌸

like, the whole scaffolding that makes options work. that's the vibe. that's the whole name section. iconic of it, honestly.

---

🌈 AVAILABLE INTERNAL OPTIONS 🌈

so here's where you'd find the actual list of internal options. and what does it say? well. COMMON OPTIONS, and then... this:

$

$

yeah bestie. it's just two $ signs. that's the entire listing. no cap. 😭

this is literally what the page says, so i'm not gonna invent a single flag for you — i would never do you like that. if you came here looking for a big juicy list of flags, this page is doing main character minimalism. 💅

---

👑 VERSION 👑

this manual page refers to CVC4 version CVC4_RELEASE_STRING. ✨

that's a placeholder token, not a typo — it gets filled in with the real release string. don't come for me, come for the build system. 🎀

---

💀 BUGS 💀

there's an issue tracker for the CVC4 project and it lives right here:

https://github.com/CVC4/CVC4/issues

found a bug? that's the spot. go be a hero. 🦋

---

🧚 AUTHORS 🧚

CVC4 is developed by a team of researchers at Stanford University and the University of Iowa. if you want the full roster of contributors, check the AUTHORS file in the distribution — everybody's in there. 👑

---

🍓 SEE ALSO 🍓

• libcvc4(3)
• libcvc4parser(3)

plus, the CVC4 wiki is lowkey a goldmine if you wanna know about the design and internals of CVC4 — it's maintained at:

http://cvc4.cs.stanford.edu/wiki/

go read it. it's giving educational and i'm obsessed. 🌈

---

and that's the whole page, bestie. it's the CVC4 release CVC4_RELEASE_STRING, dated 2024-03-31, and it lives in OPTIONS(3cvc) — so if you ever forget where you read about the options infrastructure, it's right there. periodt. 💖✨