SmtEngine(3cvc) on Linux
The text b66c101a7741, as Debian 12 (Bookworm) shipped it.
the primary interface to CVC4's theorem-proving capabilities
The text b66c101a7741, as Debian 12 (Bookworm) shipped it.
the primary interface to CVC4's theorem-proving capabilities