.\" Process this file with
.\" groff -man -Tascii cvc4.5
.\"
.TH CVC4 5 "2023-09-01" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation"
.SH "نام (NAME)"
cvc4 \- زبان ورودی بومی برای CVC4
.SH "توضیحات (DESCRIPTION)"
.B cvc4
یک اثبات‌کننده خودکار قضیه برای فرمول‌های مرتبه اول با توجه به نظریه‌های پس‌زمینه مورد نظر است.

.SH "تاریخچه (HISTORY)"
.SH "همچنین ببینید (SEE ALSO)"
.BR cvc4 (1),
.BR libcvc4 (3),
.BR libcvc4parser (3)
.PP
علاوه بر این، ویکی
.B CVC4
شامل اطلاعات مفیدی درباره طراحی و ساختار درونی
.B CVC4
است و در نشانی زیر نگهداری می‌شود:
.B http://cvc4.cs.stanford.edu/wiki