SmtEngine(3cvc) on Linux
The text 4c2396d1675b, as Debian 13 (Trixie) shipped it.
the primary interface to CVC4's theorem-proving capabilities
The text 4c2396d1675b, as Debian 13 (Trixie) shipped it.
the primary interface to CVC4's theorem-proving capabilities