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

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.

       An issue tracker for the CVC4 project is maintained at https://github.com/CVC4/CVC4/issues.

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

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

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/.

CVC4 release CVC4_RELEASE_STRING                   2024-03-31                                    SMTENGINE(3cvc)

       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.

              COMMONOPTIONS
                        $

                        $

       This manual page refers to CVC4 version CVC4_RELEASE_STRING.