SmtEngine.3cvc - Man Page

the primary interface to CVC4's theorem-proving capabilities

Description

SmtEngine is the main entry point into the CVC4 theorem prover API.

Smtengine Options

The SmtEngine is in charge of setting and getting information and options. Numerous options are available via the SmtEngine::setOption() call. SmtEngine::setOption() and SmtEngine::getOption() use the following option keys.

COMMON OPTIONS

$

$

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.

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

libcvc4(3), libcvc4parser(3)

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

Info

2021-06-04 CVC4 release CVC4_RELEASE_STRING CVC4 Library Interfaces