Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
OPTIONS(3cvc)		 CVC4 Internals	Documentation		 OPTIONS(3cvc)

NAME
       options - 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  de-
       sign  and  internals of CVC4.  It is maintained at http://cvc4.cs.stan-
       ford.edu/wiki/.

CVC4 release CVC4_RELEASE_STRING  2020-08-08			 OPTIONS(3cvc)

NAME | AVAILABLE INTERNAL OPTIONS | VERSION | BUGS | AUTHORS | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=options&sektion=3&manpath=FreeBSD+12.1-RELEASE+and+Ports>

home | help