options(3cvc)

options3cvc

The options infrastructure

Options

COMMON OPTIONS

$

$

Version

This manual page refers to CVC4 version CVC4_RELEASE_STRING.

Releases

4 releases since Debian 11 (Bullseye); the text changed 3 times.

  1. 11
  2. 12
  3. 13
  4. Arch

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.

From cvc4 1.8-3 in Arch Linux 2026-11-01. Parsed by carta from the page's man source.