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)