options - the options infrastructure

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.

COMMONOPTIONS
                        $

                        $

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

       options - the options infrastructure

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                                      OPTIONS(3cvc)

       This manual page refers to CVC4 version CVC4_RELEASE_STRING.