SMTENGINE(3cvc)

📦
version 1.8 · 7 versions
, in ubuntu noble, ubuntu questing

💖 SMTENGINE(3cvc) 💖

okay bestie, welcome to the SMTENGINE page — that's section 3cvc of the CVC4 Library Interfaces manual, and yes we're gonna make a whole moment out of it. sit down, hydrate, let's go ✨

✨ NAME ✨

SmtEngine — the primary interface to CVC4's theorem-proving capabilities

like… the main character of the API, no cap 👑

🌸 DESCRIPTION 🌸

SmtEngine is the main entry point into the CVC4 theorem prover API. that's it, that's the vibe — everything you wanna do with CVC4, you start here 🫶

🎀 SMTENGINE OPTIONS 🎀

so the SmtEngine is literally in charge of setting and getting information and options. she's the one holding the clipboard, fr fr. and there are numerous options available through the SmtEngine::setOption() call 💅

SmtEngine::setOption() and SmtEngine::getOption() use the following option keys:

💜 COMMON OPTIONS 💜

$
$
that's literally what's there, bestie — two lil $ placeholders sitting all by themselves in the COMMON OPTIONS section. no keys listed, no descriptions, nothing. iconic in a mysterious way honestly 💀✨

🦋 VERSION 🦋

This manual page refers to CVC4 version CVC4_RELEASE_STRING. ⭐

🍓 BUGS 🍓

An issue tracker for the CVC4 project is maintained at https://github.com/CVC4/CVC4/issues. found something cursed? take it there, they wanna know 🐛➡️📮

👑 AUTHORS 👑

CVC4 is developed by a team of researchers at Stanford University and the University of Iowa. See the AUTHORS file in the distribution for a full list of contributors 🫡💖

🌈 SEE ALSO 🌈

Additionally, the CVC4 wiki contains useful information about the design and internals of CVC4. It is maintained at http://cvc4.cs.stanford.edu/wiki/. go read it, iykyk 📚✨

and that's the whole page!! tysm for reading, this was CVC4 release CVC4_RELEASE_STRING, dated 2024-03-31, in section 3cvc — mwah, periodt 💅🎀🦋

📦 where this page comes from