CVC4(1)                          User Manuals                          CVC4(1)

<?><?><?> (NAME)
       cvc4, pcvc4 - <?><?> <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?>

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       cvc4 [ <?><?><?><?><?><?><?><?> ] [ <?><?><?><?> ]

       pcvc4 [ <?><?><?><?><?><?><?><?> ] [ <?><?><?><?> ]

<?><?><?><?><?><?><?> (DESCRIPTION)
       cvc4 <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?> <?><?> <?><?> <?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?> <?><?><?>.  pcvc4 <?><?><?><?>
       <<<?><?><?><?><?><?><?><?><?>>> (portfolio) <?><?> CVC4 <?><?><?>
       <?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?><?> CVC4
       <?><?> <?><?> <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?><?>.

       <?><?><?><?><?> <?><?> <?><?><?><?> <?> <?><?><?><?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?><?><?><?> <?> <?><?><?><?> <?><?><?><?><?><?><?>.
       CVC4 <?><?> <?><?><?><?> <?><?><?><?><?> SMT-LIB
       (<?><?><?><?><?><?><?><?> 1.2 <?> 2.0) <?> <?><?><?><?><?><?>
       <<<?><?><?><?> <?><?><?><?><?>>> <?><?><?><?><?><?><?> <?><?><?>
       (<?><?><?><?> <?><?><?><?> <?><?> cvc4(5) ) <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?><?><?> CVC3 <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?>.

       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?> (<?>
       <?><?><?><?> <?><?><?><?><?> CVC4 <?><?><?> <?><?><?><?><?><?><?>).
       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?> <?> CVC4 <?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>.


<?><?><?><?><?><?><?><?><?> <?><?><?><?> (COMMON OPTIONS)
       <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?> [*] <?><?><?><?><?> <?><?> <?><?><?><?> --no-OPTIONNAME
       <?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?>.

              $

              $


       <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?> [*] <?><?><?><?><?> <?><?> <?><?><?><?> --no-OPTIONNAME
       <?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?>.


<?><?><?><?><?><?><?><?> (DIAGNOSTICS)
       CVC4 <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?>
       <?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?><?> (HISTORY)
       <?><?><?><?> CVC4 <?><?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?> <?><?> <?><?> Stanford Validity Checker (SVC) <?><?>
       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?>.

       <?><?><?><?><?><?> SVC<?> <?><?><?><?> Cooperating Validity Checker
       (CVC)<?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?>
       <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> SAT <?><?> <?><?><?> Chaff
       <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?>. <?><?><?> <?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?>-<?><?><?><?> (Nelson-Oppen) <?><?><?><?><?> <?><?><?>
       <?><?><?> <?><?> <?><?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?>.

       <?><?><?><?> CVC Lite <?><?> <?><?><?><?><?><?> <?><?><?> <?><?>
       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?>
       CVC <?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?> CVC <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?> (<?><?> <?><?><?> <?><?> <<lite>>
       <?><?><?><?><?><?> <?><?>) <?> <?><?> <?><?><?> <?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>
       <?><?><?>: CVCLite <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?>
       <?><?><?> <?><?> <?><?><?><?><?> (quantifiers) <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?>. CVC3 <?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?> <?><?><?><?><?><?><?><?> <?><?> CVC Lite <?><?><?>:
       <?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> MiniSat <?><?> <?><?>
       <?><?><?><?> <?><?><?><?><?> <?> <?><?><?><?><?><?> <?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?>.

       <?><?><?><?> CVC4 <?><?><?> <?><?><?><?> <?> <?><?><?> <?><?><?><?>
       <?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?><?><?><?>. <?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?>
       <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>
       <?><?><?> <?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?> <?> <?><?>
       <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?> <?><?><?> <?><?><?>.
       <?><?> <?><?><?> <?><?><?><?><?><?><?> <?><?> CVC3 <?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?>
       <?><?><?> (clean-room) <?><?> <?><?> <?><?><?> <?><?><?><?><?><?> <?>
       <?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?>. <?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?> CVC3<?>
       <?><?> <?><?><?><?><?> <?><?> <?><?> <?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?> <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?>. <?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?> CVC4 <?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?> CVC3 <?><?><?><?><?>.

       <?><?> <?><?><?> <?><?><?><?> CVC4 <?><?><?><?><?><?> <?><?><?><?><?>
       CVC3 <?> <?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> SMT <?><?><?>:
       <?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> DPLL( T )
       <?><?> <?><?> <?><?><?><?><?><?><?><?> SAT <?><?> <?><?><?><?>
       <?><?><?> <?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
       <?><?><?> <?><?> <?><?> <?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?>.

       <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>
       <?><?><?><?> <?> <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> CVC3 <?><?><?><?><?> <?><?><?>. CVC3
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?> <?><?><?><?><?><?><?>
       <?><?> <?><?><?><?><?><?><?> <?><?><?><?><?> (<?><?> <?><?><?><?>
       <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?>) <?><?><?><?> <?><?> CVC3
       <?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>.
       <?><?> <?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?><?> <?><?> CVC3
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?>
       <?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?>.

<?><?><?><?> (VERSION)
       <?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?> CVC4
       <?><?><?><?> CVC4_RELEASE_STRING <?><?><?>.

<?><?><?><?><?><?><?> (BUGS)
       <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?> CVC4 <?><?> <?><?><?><?><?> <?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?>:
       https://github.com/CVC4/CVC4/issues

<?><?><?><?><?><?><?><?><?> (AUTHORS)
       CVC4 <?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?>
       <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?>.  <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?> AUTHORS <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       libcvc4(3), libcvc4parser(3)

       <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?> CVC4 <?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?> <?> <?><?><?><?><?><?><?> <?><?><?><?><?> CVC4
       <?><?><?>. <?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?>:
       http://cvc4.cs.stanford.edu/wiki

CVC4 release CVC4_RELEASE_STRING  2023-09-01                           CVC4(1)