options.3cvc - Man Page

the options infrastructure

Available Internal Options

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-01-26 CVC4 release CVC4_RELEASE_STRING CVC4 Internals Documentation