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

FreeBSD Manual Pages

  
 
  

home | help
SMTENGINE(3cvc)		    CVC4 Library Interfaces	       SMTENGINE(3cvc)

NAME
       SmtEngine  -  the primary interface to CVC4's theorem-proving capabili-
       ties

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

SMTENGINE OPTIONS
       The SmtEngine is	in charge of setting and getting information  and  op-
       tions.	Numerous  options are available	via the	SmtEngine::setOption()
       call.  SmtEngine::setOption() and SmtEngine::getOption()	use  the  fol-
       lowing option keys.

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

NAME | DESCRIPTION | SMTENGINE OPTIONS | VERSION | BUGS | AUTHORS | SEE ALSO

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

home | help