CVC4(5)                     Languages documentation                    CVC4(5)

<?><?><?> (NAME)
       cvc4 - <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?> CVC4

<?><?><?><?><?><?><?> (DESCRIPTION)
       cvc4 <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?> <?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?>.


<?><?><?><?><?><?><?> (HISTORY)
<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       cvc4(1), libcvc4(3), libcvc4parser(3)

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

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